diff options
Diffstat (limited to 'texinfos.am')
-rw-r--r-- | texinfos.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/texinfos.am b/texinfos.am index 01bbe00ab..34321ac3b 100644 --- a/texinfos.am +++ b/texinfos.am @@ -24,6 +24,15 @@ .texi.dvi: TEXINPUTS=$(srcdir):$$TEXINPUTS $(TEXI2DVI) $< +.texinfo.info: +## We want to force the .info file to be built in srcdir. This is +## probably the simplest way. + cd $(srcdir) \ + && $(MAKEINFO) `echo $< | sed 's,.*/,,'` + +.texinfo.dvi: + TEXINPUTS=$(srcdir):$$TEXINPUTS $(TEXI2DVI) $< + ## Look in both . and srcdir because the info pages might have been ## rebuilt in the build directory. Can't cd to srcdir; that might ## break a possible install-sh reference. |