Luca Boccassi c369d9bd36 Problem: doc/Makefile.am ignores --without-docs
Solution: add the document files to the MAN_DOC and MAN_HTML targets
in doc/Makefile.am only if BUILD_DOC and INSTALL_MAN are set,
otherwise leave the targets empty to avoid errors in make distcheck.
2016-05-04 11:29:46 +01:00
..
2013-09-15 20:13:44 +02:00
2013-06-27 20:53:15 +02:00
2013-08-17 20:22:50 +02:00
2013-06-27 20:53:15 +02:00
2013-11-05 13:02:41 +01:00
2014-04-29 12:06:57 +02:00