[Bug objc/12512] New: Pattern rule for %.dvi breaks make dvi in objc

["jsm28 at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12512

           Summary: Pattern rule for %.dvi breaks make dvi in objc
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: objc
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,mark at codesourcery dot
                    com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

The pattern rule for building %.dvi inserted by
http://gcc.gnu.org/ml/gcc-patches/2003-08/msg01939.html
breaks make dvi (GNU make 3.80): make tries to build objc.dvi
using the pattern rule from objc.texi (the pattern rule being used
as documented because the non-pattern dummy rule has no commands)
which fails as objc.texi is a chapter rather than a standalone manual.

texi2dvi -I ../../gcc-cvs/gcc/doc -I ../../gcc-cvs/gcc/doc/include ../../gcc-cvs/gcc/doc/objc.texi
This is TeX, Version 3.14159 (Web2C 7.3.7)
(/home/jsm28/src/gcc-cvs/gcc/doc/objc.texi
! Missing $ inserted.
<inserted text> 
                $
<to be read again> 
                   _
l.22 * compatibility_
                     alias::
?