Branch: refs/heads/master
Home: https://github.com/fvwmorg/fvwm
Commit: 0fdf2815bc09edaf4c0ecb45d47ad12d00863239
https://github.com/fvwmorg/fvwm/commit/0fdf2815bc09edaf4c0ecb45d47ad12d00863239
Author: Thomas Adam <tho...@xteddy.org>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M .gitignore
M NEWS
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.
