|
|
@@ -141,7 +141,7 @@ HTML_EXTRA_FILES = |
|
|
HTML_COLORSTYLE_HUE = 220 |
|
|
HTML_COLORSTYLE_HUE = 220 |
|
|
HTML_COLORSTYLE_SAT = 100 |
|
|
HTML_COLORSTYLE_SAT = 100 |
|
|
HTML_COLORSTYLE_GAMMA = 80 |
|
|
HTML_COLORSTYLE_GAMMA = 80 |
|
|
HTML_TIMESTAMP = YES |
|
|
|
|
|
|
|
|
HTML_TIMESTAMP = NO |
|
|
HTML_ALIGN_MEMBERS = YES |
|
|
HTML_ALIGN_MEMBERS = YES |
|
|
HTML_DYNAMIC_SECTIONS = NO |
|
|
HTML_DYNAMIC_SECTIONS = NO |
|
|
GENERATE_DOCSET = NO |
|
|
GENERATE_DOCSET = NO |
|
|
|
