Branch: refs/heads/ta/fix-enable-doc Home: https://github.com/fvwmorg/fvwm Commit: 87902c05301a850f77616c3f276e3b8de5531e45 https://github.com/fvwmorg/fvwm/commit/87902c05301a850f77616c3f276e3b8de5531e45 Author: Thomas Adam <tho...@xteddy.org> Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths: M .gitignore M doc/Makefile.am M doc/fvwm/Makefile.am Log Message: ----------- doc: fix htmldoc/mandoc building Ensure that --enable-mandoc and --enable-htmldoc correctly disable building the relevant parts of the documentation, depending on the options given. **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.