diff options
| author | Karl Berry <karl@freefriends.org> | 2017-05-09 17:41:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-05-09 17:41:44 +0000 |
| commit | fda05c1281e67b767822e47b70f96b84e9b58343 (patch) | |
| tree | 91088d6e18aa6c3c902cea2cebe23e7f6880caf1 /Master/texmf-dist/scripts/texdoc/config.tlu | |
| parent | fb3170c0fe47a27d57e230b1b0fe495370433c62 (diff) | |
rm norbert debugging
git-svn-id: svn://tug.org/texlive/trunk@44268 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/config.tlu')
| -rw-r--r-- | Master/texmf-dist/scripts/texdoc/config.tlu | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/config.tlu b/Master/texmf-dist/scripts/texdoc/config.tlu index ea4acbb4564..bc5e95ed025 100644 --- a/Master/texmf-dist/scripts/texdoc/config.tlu +++ b/Master/texmf-dist/scripts/texdoc/config.tlu @@ -214,8 +214,6 @@ function setup_config_from_env () set_config_elt_from_vars('viewer_html', {"BROWSER_texdoc", "TEXDOCVIEW_html", "TEXDOC_VIEWER_HTML"}) set_config_elt_from_option_env('viewer_html', "BROWSER") - bla = config['viewer_html'] - err_print('warning', 'NORBERT: viewer_html is now ' .. bla) set_config_elt_from_vars('viewer_md', {"MDVIEWER_texdoc", "TEXDOCVIEW_md", "TEXDOC_VIEWER_MD"}) set_config_elt_from_option_env('viewer_md', "PAGER") |