add configure option to disable doc
Time and again, on different platforms, I had a hard time getting scribo/doc
, milena/doc
and 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 scribo/Makefile.am
, milena/Makefile.am
and Makefile.am
, removing doc
from the SUBDIRS
variable. But this could be scripted, right? Would such a PR get accepted?