doc: Rename .texinfo files to use .texi extension.

[pspp] / doc / automake.mk

diff --git a/doc/automake.mk b/doc/automake.mk
index 6e14132f0c8b41372887f41d9a1f4a8a8b108590..54af89a6ffc051248294aebb97f8f1d88990ee87 100644 (file)
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -1,6 +1,6 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
-info_TEXINFOS = doc/pspp.texinfo doc/pspp-dev.texinfo
+info_TEXINFOS = doc/pspp.texi doc/pspp-dev.texi
 
 doc_pspp_TEXINFOS = doc/version.texi \
        doc/bugs.texi \
@@ -55,10 +55,10 @@ $(srcdir)/doc/tut.texi:
 
 # The SED and AWK filters in this rule, are to work-around some nasty bugs in makeinfo version 4.13, which produces
 # broken docbook xml.  These workarounds are rather horrible and must be removed asap.
-$(srcdir)/doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
+$(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS)
        @$(MKDIR_P)  doc
        $(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
-               $(top_srcdir)/doc/pspp.texinfo -o - \
+               $(top_srcdir)/doc/pspp.texi -o - \
                | $(SED) -e 's/Time-&-Date/Time-\&-Date/g' \
                -e 's/“/\“/g' \
                -e 's/”/\”/g' \