This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
RE: Patch to fix make dvi
On Mon, 25 Apr 2005, Schmidt, Bernd wrote:
> > The Blackfin Options documentation contains a bogus line saying just
> > "@opindex", which breaks "make dvi". Fixed thus. It passes "make info"
> > and "make dvi", mainline and 4.0 branch. Applied to mainline and 4.0
> > branch.
>
> Oops. Thanks for fixing this. Should "make dvi" maybe be added to
> bootstraps so that this sort of thing gets caught earlier?
The trouble with including it in bootstraps is you need a suitable
configure check for a working TeX installation. I have "make dvi" in one
of my GCC build scripts but I no longer use that particular script
frequently.
--
Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/
jsm@polyomino.org.uk (personal mail)
joseph@codesourcery.com (CodeSourcery mail)
jsm28@gcc.gnu.org (Bugzilla assignments and CCs)