[patch] Use short file names for the doxygen generated files

[Matthias Klose]

Please default to short file names for the files generated by doxygen,
as the long file names may not work on every system.
Seen on http://bugs.debian.org/291060

  Matthias

2008-01-21  Matthias Klose  <doko@ubuntu.com>

	* doc/doxygen/user.cfg.in: Set SHORT_NAMES to YES.

--- libstdc++-v3/doc/doxygen/user.cfg.in~	2008-01-18 21:29:26.000000000 +0100
+++ libstdc++-v3/doc/doxygen/user.cfg.in	2008-01-18 22:13:26.663187425 +0100
@@ -130,7 +130,7 @@
 # (but less readable) file names. This can be useful is your file systems 
 # doesn't support long names like on DOS, Mac, or CD-ROM.
 
-SHORT_NAMES            = NO
+SHORT_NAMES            = YES
 
 # If the JAVADOC_AUTOBRIEF tag is set to YES then Doxygen 
 # will interpret the first line (until the first dot) of a JavaDoc-style