Hash : 26d5b8c4 Author : Date : 1998-02-23T23:30:34
recognize .txi extension
Download
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#! /bin/sh # Test to make sure `.txi' extension works. . $srcdir/defs || exit 1 cat > Makefile.am << 'END' info_TEXINFOS = foo.txi END echo '@setfilename foo.info' > foo.txi : > texinfo.tex $AUTOMAKE || exit 1 fgrep '.txi.info' Makefile.in
