summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/texdoctk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-03-25 17:26:20 +0000
committerKarl Berry <karl@freefriends.org>2019-03-25 17:26:20 +0000
commitd1d0786e8db8a79f6f6f7ef0e8e3bb9e7ee81486 (patch)
tree8003b5e664649a98771136842c2c182077f1c868 /Master/texmf-dist/texdoctk
parentb9247c163236be845cd95e06e122d2761686a59d (diff)
texdoctk warn if no tk, avoid tdcolors warning
git-svn-id: svn://tug.org/texlive/trunk@50582 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/texdoctk')
-rw-r--r--Master/texmf-dist/texdoctk/texdocrc-win32.defaults4
-rw-r--r--Master/texmf-dist/texdoctk/texdocrc.defaults4
2 files changed, 8 insertions, 0 deletions
diff --git a/Master/texmf-dist/texdoctk/texdocrc-win32.defaults b/Master/texmf-dist/texdoctk/texdocrc-win32.defaults
index d524ae99791..3f1aabb8349 100644
--- a/Master/texmf-dist/texdoctk/texdocrc-win32.defaults
+++ b/Master/texmf-dist/texdoctk/texdocrc-win32.defaults
@@ -51,4 +51,8 @@ TXTPS_REDIR=yes
PRINT_CMD=lpr
PRINT_OPTS=-h -Plp
+# button colours: default and active back-/foreground
+# names and RGB values are both allowed; use the form #xxxxxx for RGB
+TDCOLORS=#d9d9d9 Black #ececec red
+
# end of config
diff --git a/Master/texmf-dist/texdoctk/texdocrc.defaults b/Master/texmf-dist/texdoctk/texdocrc.defaults
index d524ae99791..3f1aabb8349 100644
--- a/Master/texmf-dist/texdoctk/texdocrc.defaults
+++ b/Master/texmf-dist/texdoctk/texdocrc.defaults
@@ -51,4 +51,8 @@ TXTPS_REDIR=yes
PRINT_CMD=lpr
PRINT_OPTS=-h -Plp
+# button colours: default and active back-/foreground
+# names and RGB values are both allowed; use the form #xxxxxx for RGB
+TDCOLORS=#d9d9d9 Black #ececec red
+
# end of config