diff options
-rw-r--r-- | doc/Makefile.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 4b9c957da..6a1580b22 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -362,6 +362,21 @@ uninstall-info: uninstall-info-am uninstall uninstall-am uninstall-info-am +# Uncomment this when fileutils, textutils, and sh-utils have +# all been merged into one package. +#constants.texi: $(top_srcdir)/src/tail.c +# LC_ALL=C \ +# sed -n -e 's/^#define \(DEFAULT_MAX[_A-Z]*\) \(.*\)/@set \1 \2/p' \ +# $(top_srcdir)/src/tail.c > t-$@ +# mv t-$@ $@ + +# Uncomment this when fileutils, textutils, and sh-utils have +# all been merged into one package. +# MAINTAINERCLEANFILES = constants.texi + +$(DVIS): $(EXTRA_DIST) +$(INFO_DEPS): $(EXTRA_DIST) + # List words/regexps here that should not appear in the texinfo documentation. check-texinfo: grep timezone $(srcdir)/*.texi && exit 1 || : |