diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/Doxyfile | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/Doxyfile')
| -rw-r--r-- | maintenance/Doxyfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/Doxyfile b/maintenance/Doxyfile index 44e8e495..6c9811d0 100644 --- a/maintenance/Doxyfile +++ b/maintenance/Doxyfile @@ -34,7 +34,7 @@ FULL_PATH_NAMES = YES STRIP_FROM_PATH = {{STRIP_FROM_PATH}} STRIP_FROM_INC_PATH = SHORT_NAMES = NO -JAVADOC_AUTOBRIEF = NO +JAVADOC_AUTOBRIEF = YES MULTILINE_CPP_IS_BRIEF = NO DETAILS_AT_TOP = NO INHERIT_DOCS = YES @@ -204,7 +204,7 @@ RTF_EXTENSIONS_FILE = #--------------------------------------------------------------------------- # configuration options related to the man page output #--------------------------------------------------------------------------- -GENERATE_MAN = NO +GENERATE_MAN = YES MAN_OUTPUT = man MAN_EXTENSION = .3 MAN_LINKS = NO |