Re: [patch] Add "install-pdf" target to makefiles.

[Paolo Bonzini]

Brooks Moses wrote:
> The attached patch adds "install-pdf" support to GCC.  The pdf files are 
> currently installed in $(pdfdir), with $(pdfdir) determined by the 
> --with-pdfdir configure option if supplied, and otherwise defaulting to 
> $(docdir), which defaults to <installdir>/share/doc.

Foreword: I know this is asking a lot more work than this.  Would you 
have time to investigate instead switching to automake 1.10 (should be 
no big deal) and autoconf 2.61?  This would provide the same effect that 
you have here.  In addition, we wouldn't add another --with-pdfdir 
option that is there only to be deprecated when we switch to the newest 
autoconf.

I'm happy to provide help on the conversion and to review the patches.

Paolo