diff options
-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") |