# HG changeset patch
# User alpar
# Date 1118334196 0
# Node ID 60c2961c75caa466f5a749866893724158d1af0c
# Parent  718207d6a1e6a34fd7c051cfdefb4572e67b0667
Akos' research pointed out that it is a must.

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