diff options
-rw-r--r-- | doc/Makefile.am | 3 |
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) \ |