Add menu docs.
Only write documentation if changed.

This might lead to a slight speedup in sphinx, which seems to cache
unchanged files.