doc: Rename .texinfo files to use .texi extension.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 27 Sep 2014 03:45:42 +0000 (20:45 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 27 Sep 2014 03:45:42 +0000 (20:45 -0700)
commit37c23898ed6ba5068e7edf64e3c91459044629d1
treeac0ff955d34dcad1ef35520424b8cbb5b59e60cd
parent9105b4658e6c6cabb4e4e840f18b267fba7d1c60
doc: Rename .texinfo files to use .texi extension.

Newer versions of Automake complained that the .texinfo extension was
deprecated.
doc/automake.mk
doc/pspp-dev.texi [new file with mode: 0644]
doc/pspp-dev.texinfo [deleted file]
doc/pspp.texi [new file with mode: 0644]
doc/pspp.texinfo [deleted file]