X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b24eb51e7e6c5458fc0ae726fc7a92e0f46a74eb;hb=c3580361c52f0246f71d9b727cb9e5bd0d8497bb;hp=26ff4e651a7e0718ebef8e60f292d4c96c5fcb07;hpb=d94dc663529b4e05ec1e7c47c1e73310abb1d3b4;p=pspp-builds.git diff --git a/doc/automake.mk b/doc/automake.mk index 26ff4e65..b24eb51e 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -55,7 +55,8 @@ doc/tut.texi: doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS) @$(MKDIR_P) doc - $(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) $< -o - \ + $(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \ + $(top_srcdir)/doc/pspp.texinfo -o - \ | $(SED) 's/Time-&-Date/Time-\&-Date/g' > $@ docbookdir = $(docdir)