aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile.am3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index c103f87..e1e86e0 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -33,6 +33,9 @@ AM_MAKEINFOFLAGS=-I $(abs_top_srcdir)/@GRECS_SUBDIR@/doc
# Make sure you set TEXINPUTS.
# TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions
.PHONY: manual
+# The following rule preprocesses the sources before passing them to
+# gendocs.sh. This makes use of the fact that gendocs.sh searches
+# for <name>.texinfo first.
manual:
$(MAKEINFO) $(MAKEINFOFLAGS) $(AM_MAKEINFOFLAGS) -E $(PACKAGE_NAME).texinfo $(info_TEXINFOS)
TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \

Return to:

Send suggestions and report system problems to the System administrator.