Implement configure option to omit building documentation.
commit74168af0d0b3f3be0f2fd0f46f638e45a84a4f42
authorRobert Dodier <robert_dodier@users.sourceforge.net>
Sun, 21 Nov 2021 13:57:35 +0000 (21 05:57 -0800)
committerRobert Dodier <robert_dodier@users.sourceforge.net>
Sun, 21 Nov 2021 13:57:39 +0000 (21 05:57 -0800)
tree2de10a8bf3c3624470f3480d3599b4d28563d818
parentd72e4fa66e6fd058c0bcd8928119c55f2a47e1ff
Implement configure option to omit building documentation.

 * 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
Makefile.am
configure.ac
interfaces/xmaxima/Makefile.am