Re: [PATCH, various] Add "pdf" target to all relevant GCC makefiles.

[Tom Tromey]

>>>>> "Brooks" == Brooks Moses <address@hidden> writes:

Brooks> The attached patch adds all of the relevant targets to enable
Brooks> "make pdf" to work; it produces the same files (modulo
Brooks> extension, of course) in the same locations as "make dvi".

The gcc/java bits are ok assuming that the rest is approved.

I skimmed the patch and it looked pretty good to me; but I can't
approve the whole thing.

Tom