1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
silence texdoctk warning about colors, see #835153
---
texmf-dist/texdoctk/texdocrc.defaults | 4 ++++
1 file changed, 4 insertions(+)
--- texlive-base-2019.20190506.orig/texmf-dist/texdoctk/texdocrc.defaults
+++ texlive-base-2019.20190506/texmf-dist/texdoctk/texdocrc.defaults
@@ -55,4 +55,8 @@ PRINT_OPTS=-h -Plp
# names and RGB values are both allowed; use the form #xxxxxx for RGB
TDCOLORS=#d9d9d9 Black #ececec red
+# 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
|
