Use texi2dvi instead of TEX/TEXINDEX.
authorAndrew Cagney <cagney@redhat.com>
Tue, 22 Jan 2002 16:37:08 +0000 (16:37 +0000)
committerAndrew Cagney <cagney@redhat.com>
Tue, 22 Jan 2002 16:37:08 +0000 (16:37 +0000)
commitbe298bcc5f37eff348e5f7946077a04ba5b758c2
tree762acc832bf453ec9593ac22cd40d97252dfc897
parent8e04817fcda94aaf3925f58dc2bf194e79584854
Use texi2dvi instead of TEX/TEXINDEX.
gdb/doc/ChangeLog
gdb/doc/Makefile.in