Skip to content
  • Robert Dodier's avatar
    Implement configure option to omit building documentation. · 74168af0
    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