diff options
author | tschwinge <tschwinge> | 2008-05-30 13:44:53 +0000 |
---|---|---|
committer | tschwinge <tschwinge> | 2008-05-30 13:44:53 +0000 |
commit | bf761ae77cef511239b90d64b61609dca9f464f2 (patch) | |
tree | 7ed5a7d8d006073ae8f3fd8207c4ddc85f26429f /ChangeLog | |
parent | a0b4ab2a749bf4112b085e20541b33e839c99585 (diff) |
2008-05-30 Thomas Schwinge <tschwinge@gnu.org>
* configure.ac (missing_progs): Rename to...
(missing_doc_progs): ... this.
(DOC): New variable. Used to indicate whether to documentation
files can be built.
Make it non-fatal if the documentation can't be built.
* Makefile.am (SUBDIRS): Use $(DOC).
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,5 +1,12 @@ 2008-05-30 Thomas Schwinge <tschwinge@gnu.org> + * configure.ac (missing_progs): Rename to... + (missing_doc_progs): ... this. + (DOC): New variable. Used to indicate whether to documentation + files can be built. + Make it non-fatal if the documentation can't be built. + * Makefile.am (SUBDIRS): Use $(DOC). + * configure.ac (AM_MAINTAINER_MODE): Get rid of it. * README: Reflect that. |