[v3] add dblatex for pdf, shortnames for xml

[Benjamin Kosnik]

Makefile hacks for doc work.

1) add dblatex option for xml->pdf, make it the default. 
See:
http://people.redhat.com/bkoz/documentation/20100218-libstdc++-manual.dblatex.pdf.bz2

2) add option to have doxygen output with non-randomized names.

tested x86-linux

-benjamin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20100218-2.patch
Type: text/x-patch
Size: 26400 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100219/d3aeb582/attachment.bin>