add configure option to disable doc
Time and again, on different platforms, I had a hard time getting
doc to build: For one, it has lots of external dependencies, which should be strictly optional for Olena. But worse, I am certain the makefiles have some errors here (maybe just missing explicit dependencies), because sometimes pdflatex (complaining about a missing
html.sty) or graphviz' neato (being absent) would halt the build, leaving the build tree in a state impossible to continue installation on, or to recover from. Even with the build directory completely separated, doing
distclean or restarting configure is not enough in these circumstances, which only leaves me with checking out again.
Therefore, how hard could it be to add an option
--disable-doc to configure? This would bypass above mentioned problems, and also speed up the build on platforms that do meet all the requirements. At the moment I help myself with manually editing
doc from the
SUBDIRS variable. But this could be scripted, right? Would such a PR get accepted?