diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf/texdoctk/texdocrc-win32.defaults | 5 | ||||
| -rw-r--r-- | Master/texmf/texdoctk/texdocrc.defaults | 7 |
2 files changed, 9 insertions, 3 deletions
diff --git a/Master/texmf/texdoctk/texdocrc-win32.defaults b/Master/texmf/texdoctk/texdocrc-win32.defaults index 921c61b5d06..2bc14c631ae 100644 --- a/Master/texmf/texdoctk/texdocrc-win32.defaults +++ b/Master/texmf/texdoctk/texdocrc-win32.defaults @@ -1,4 +1,4 @@ -# TeXdoc defaults configuration file +# TeXdoctk defaults configuration file # Uncomment and edit settings according to your system # These defaults will be overridden by entries in users' ~/.texdocrc files, # which can be generated from copies of this file @@ -7,6 +7,9 @@ # item empty, but *do not* delete/uncomment it. The same holds for options you # want/need to leave empty. +# The command-line tool texdoc use different settings and different +# configuration files. Type `texdoc texdoc' for more information. + # root of doc directory (from $TEXMFMAIN) TEXDOCPATH=doc # root of local doc directory (from $TEXMFLOCAL) diff --git a/Master/texmf/texdoctk/texdocrc.defaults b/Master/texmf/texdoctk/texdocrc.defaults index eb6b9cd80ad..43fec9000e9 100644 --- a/Master/texmf/texdoctk/texdocrc.defaults +++ b/Master/texmf/texdoctk/texdocrc.defaults @@ -1,4 +1,4 @@ -# TeXdoc defaults configuration file +# TeXdoctk defaults configuration file # Uncomment and edit settings according to your system # These defaults will be overridden by entries in users' ~/.texdocrc files, # which can be generated from copies of this file @@ -7,6 +7,9 @@ # item empty, but *do not* delete/uncomment it. The same holds for options you # want/need to leave empty. +# The command-line tool texdoc use different settings and different +# configuration files. Type `texdoc texdoc' for more information. + # root of doc directory (from $TEXMFMAIN) TEXDOCPATH=doc # root of local doc directory (from $TEXMFLOCAL) @@ -30,7 +33,7 @@ PDFPS_CONV=acroread PDFPS_OPTS=-toPostScript -pairs # HTML handling -HTML_VIEWER=netscape +HTML_VIEWER=firefox HTMLPS_CONV= # HTMLPS_REDIR must be on, if the html->ps converter normally writes its output # to stdout instead of a file (e.g. as html2ps) (y or yes to make active) |