Disable rebuilding miscellaneous documentation source files when not in maintainer mode
When the maintainer mode is disabled (which is not default), the
make all will rebuild source files in
sphinx-build is available). This MR disables the rebuilding of such source files when maintainer mode has been disabled allowing to do just:
./configure && make doc to build the documentation.