[avr-libc-dev] patch to build docs only once

[Theodore A. Roth]

Hi Joerg,

Try this patch. This should stop the building of the docs 4 times. I'll 
commit it if you agree it fixes the problem.

Ted Roth

avr-libc-single-doc-pass.diff
Description: Text document