Problem with building PDF documentation

[Freddie Chopin]

On Monday 21 of December 2015 10:26:04 Nick Clifton wrote:
> Hi Freddie,
> 
>    Right - please try out the attached patch and let me know if it works
> for you.  Note - if you are trying the patch with an already built
> toolchain you will need to run "make clean-gas" first.  (Or just "make
> clean" if you are in the gas sub-directory).  There is a missing
> dependency in a makefile somewhere...

It works correctly with your patch! Thanks! The pdf files are generated and 
the as.pdf file looks OK.

Do you think a similar fix would solve the problem with newlib's docs?

> PS.  I really should have asked you to file this problem as a binutils
> bug report, so that we could refer back to it in the comments in the
> patch...

I can do that now if that would help.

Regards,
FCh