summaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authortschwinge <tschwinge>2008-05-30 13:44:53 +0000
committertschwinge <tschwinge>2008-05-30 13:44:53 +0000
commitbf761ae77cef511239b90d64b61609dca9f464f2 (patch)
tree7ed5a7d8d006073ae8f3fd8207c4ddc85f26429f /ChangeLog
parenta0b4ab2a749bf4112b085e20541b33e839c99585 (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--ChangeLog7
1 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index c5df71b..aabaf64 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.