summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODO2
-rw-r--r--doc/Makefile.am4
2 files changed, 1 insertions, 5 deletions
diff --git a/TODO b/TODO
index 0a2b780..fdb64d9 100644
--- a/TODO
+++ b/TODO
@@ -92,8 +92,6 @@
*** use clcommit to manage ChangeLog
-*** make sure man page is rebuilt under reasonable conditions
-
Legend:
*, **, ***: outline depth
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 7a9a3bf..5d25365 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -9,11 +9,9 @@ MAINTAINERCLEANFILES = \
flex.ops
EXTRA_DIST = \
- $(man_MANS)
+ $(man_MANS)
-if MAINTAINER_MODE
$(man_MANS): $(top_srcdir)/main.c
for i in $(man_MANS) ; do \
$(help2man) --name='fast lexical analyzer generator' --section=`echo $$i|rev|cut -f 1 -d .|rev` ../flex > $$i ; \
done
-endif