Patch to fix some PDF manual builds

[Daniel Jacobowitz]

On Fri, Jun 02, 2006 at 10:18:32PM +0000, Joseph S. Myers wrote:
> This patch fixes the build of some PDF manuals (with "make
> $manual.pdf"; plain "make pdf" runs into subdirectories without dummy
> "pdf" rules).  I expect it also fixes DVI and PS manual builds, with
> the same caveat about subdirectories without dummy rules.  OK to
> commit?

OK.  Please commit this for 2.17, too.

How many directories don't have "make pdf" available, and do you think
it's worth adding stubs?

-- 
Daniel Jacobowitz
CodeSourcery