no-timestamps.diff

Description: do not add timestamps to documentation
Author: Helmut Grohne
This commit is contained in:
su-fang 2023-04-25 15:58:26 +08:00
parent 0f71bbcfe3
commit 9ed21d634e
1 changed files with 1 additions and 1 deletions

View File

@ -158,7 +158,7 @@ HTML_EXTRA_FILES =
HTML_COLORSTYLE_HUE = 220
HTML_COLORSTYLE_SAT = 100
HTML_COLORSTYLE_GAMMA = 80
HTML_TIMESTAMP = YES
HTML_TIMESTAMP = NO
HTML_DYNAMIC_MENUS = YES
HTML_DYNAMIC_SECTIONS = YES
HTML_INDEX_NUM_ENTRIES = 100