Akos' research pointed out that it is a must.
1.1 --- a/doc/Doxyfile.in Thu Jun 09 15:22:40 2005 +0000
1.2 +++ b/doc/Doxyfile.in Thu Jun 09 16:23:16 2005 +0000
1.3 @@ -130,7 +130,7 @@
1.4 # (but less readable) file names. This can be useful is your file systems
1.5 # doesn't support long names like on DOS, Mac, or CD-ROM.
1.6
1.7 -SHORT_NAMES = NO
1.8 +SHORT_NAMES = YES
1.9
1.10 # If the JAVADOC_AUTOBRIEF tag is set to YES then Doxygen
1.11 # will interpret the first line (until the first dot) of a JavaDoc-style