diff -r 718207d6a1e6 -r 60c2961c75ca doc/Doxyfile.in
--- a/doc/Doxyfile.in	Thu Jun 09 15:22:40 2005 +0000
+++ b/doc/Doxyfile.in	Thu Jun 09 16:23:16 2005 +0000
@@ -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