[v3] doc makefile tweaks

[Benjamin Kosnik]

Noticed that some of the recent hacking broke doc-html-doxygen output
(pdflatex vs latex for psdvi images), weird status messages when using
the doxygen-stamp rules. Fixed as follows.

tested x86_64/linux
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20100312-1.patch
Type: text/x-patch
Size: 26641 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100312/01ffe308/attachment.bin>