summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 03:42:10 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 03:42:10 +0000
commit2ec4f1ed0a7082f71cdb47c0460d13567f88a7f0 (patch)
tree654e9b21bfacde0bfafbaea3beed57d41e83a972
parentd427b11c5e40b26a2f6bf5dc605bf280661a2e7b (diff)
slight modification and warning about texdoctk \neq texdoc
git-svn-id: svn://tug.org/texlive/trunk@10302 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf/texdoctk/texdocrc-win32.defaults5
-rw-r--r--Master/texmf/texdoctk/texdocrc.defaults7
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)