diff options
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-13 03:42:10 +0000 |
|---|---|---|
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-13 03:42:10 +0000 |
| commit | 2ec4f1ed0a7082f71cdb47c0460d13567f88a7f0 (patch) | |
| tree | 654e9b21bfacde0bfafbaea3beed57d41e83a972 /Master/texmf/texdoctk/texdocrc-win32.defaults | |
| parent | d427b11c5e40b26a2f6bf5dc605bf280661a2e7b (diff) | |
slight modification and warning about texdoctk \neq texdoc
git-svn-id: svn://tug.org/texlive/trunk@10302 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/texdoctk/texdocrc-win32.defaults')
| -rw-r--r-- | Master/texmf/texdoctk/texdocrc-win32.defaults | 5 |
1 files changed, 4 insertions, 1 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) |