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

Tue Oct 10 17:24:00 GMT 2006

>>>>> "Brooks" == Brooks Moses <bmoses@stanford.edu> 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