diff options
| -rw-r--r-- | odk/pack/gendocu/Doxyfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odk/pack/gendocu/Doxyfile b/odk/pack/gendocu/Doxyfile index 897462757723..4e916e536363 100644 --- a/odk/pack/gendocu/Doxyfile +++ b/odk/pack/gendocu/Doxyfile @@ -33,6 +33,7 @@ JAVADOC_AUTOBRIEF = YES EXTRACT_ALL = YES CASE_SENSE_NAMES = NO +SHORT_NAMES = YES QUIET = % WARNINGS = YES |