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 doc/misc/ and doc/man (when 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.