From d1d0786e8db8a79f6f6f7ef0e8e3bb9e7ee81486 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 25 Mar 2019 17:26:20 +0000 Subject: texdoctk warn if no tk, avoid tdcolors warning git-svn-id: svn://tug.org/texlive/trunk@50582 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/texdoctk/texdocrc-win32.defaults | 4 ++++ Master/texmf-dist/texdoctk/texdocrc.defaults | 4 ++++ 2 files changed, 8 insertions(+) (limited to 'Master/texmf-dist/texdoctk') 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 -- cgit v1.2.3