-
Robert Dodier authored
* configure.ac: recognize new option --enable-build-docs (default = yes) and define ENABLE_BUILD_DOCS * Makefile.am: execute make in top-level doc directory only if ENABLE_BUILD_DOCS * interfaces/xmaxima/Makefile.am: execute make in doc direcory only if ENABLE_BUILD_DOCS
74168af0