diff options
Diffstat (limited to '')
-rw-r--r-- | doc/project.am | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/project.am b/doc/project.am index a624b55bc0..e74e55f1f3 100644 --- a/doc/project.am +++ b/doc/project.am @@ -3,13 +3,14 @@ SUFFIXES += .t ## Texinfo support -TEXINFO_TEX = $(top_srcdir)/texinfo/texinfo.tex +TEXINFO_TEX = ../texinfo/texinfo.tex TEXINPUTS = $(srcdir):$(top_srcdir) +TEXI_COMMON = -I .. .texi: @cd $(srcdir) && rm -f $@ $@-[0-9] $@-[0-9][0-9] - cd $(srcdir) \ - && $(MAKEINFO) -I $(top_srcdir) `echo $< | sed 's,.*/,,'` + cd $(srcdir) && \ + $(MAKEINFO) $(TEXI_COMMON) `echo $< | sed 's,.*/,,'` $(srcdir)/stamp-vti: $(PROJECT).texi $(top_srcdir)/configure.in @echo "@set UPDATED `$(SHELL) $(srcdir)/mdate-sh \ |