* (.texi): Don't specify the output filename when makeinfo command is used.
authoryamaoka <yamaoka>
Wed, 24 Feb 1999 08:57:37 +0000 (08:57 +0000)
committeryamaoka <yamaoka>
Wed, 24 Feb 1999 08:57:37 +0000 (08:57 +0000)
commit5d27f4c768a921b5e0d1cf650e9a03591a5b5995
tree14b34bbb974e63abff788225164dc4543ce96606
parent08f54a2383c15d58a50a83edfb13132f376775a1
* (.texi): Don't specify the output filename when makeinfo command is used.
(add-info-suffix, remove-info-suffix): New targets.
texi/Makefile.in