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
