forked from Imagelibrary/rtems
fdbfff1867
that addresses the following:
The patch below should
* fix the *pdf cleanup handling
* fix dependencies between pdf-documents and texi-files
It also contains an attempt to let networking/schedule.t use states.pdf
instead of ascii graphics, but though each pdf image looks nice, it
comes out weirdly distorted in the main pdf document.