diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/constants.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/constants.tlu | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texdoc/constants.tlu b/Master/texmf/scripts/texdoc/constants.tlu index 8441450e089..00ac5dead20 100644 --- a/Master/texmf/scripts/texdoc/constants.tlu +++ b/Master/texmf/scripts/texdoc/constants.tlu @@ -64,7 +64,9 @@ known_options = { 'machine_switch', 'alias_switch', 'ext_list', + 'basename_list', 'badext_list', + 'badbasename_list', 'verbosity_level', 'debug_list', 'lastfile_switch', |