View file File name : texdocrc.defaults Content :# 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 # This file only: # If you don't have all of the listed programs, install them or leave the # 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) # can be left empty if equal to TEXDOCPATH or if $TEXMFLOCAL is undefined LOCALDOCPATH= # stderr treatment (y or yes to make active) QUIET=no # DVI settings DVI_VIEWER=texdoc --just-view DVIPS_CONV=dvips DVIPS_OPTS=-q # PostScript handling PS_VIEWER=texdoc --just-view # PDF handling PDF_VIEWER=texdoc --just-view PDFPS_CONV=acroread PDFPS_OPTS=-toPostScript -pairs # HTML handling HTML_VIEWER=texdoc --just-view HTMLPS_CONV= # HTMLPS_REDIR must be on, if the html->ps converter normally writes its output # to stdout instead of a file (e.g. as html2ps) (y or yes to make active) HTMLPS_REDIR= # Plain text handling # TDK_OWN is texdoctk's own text file viewer TXT_VIEWER=TDK_OWN TXTPS_CONV=a2ps # TXTPS_REDIR must be on, if the txt->ps converter normally writes its output # to stdout instead of a file (e.g. as a2ps) (y or yes to make active) TXTPS_REDIR=yes # printer 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 # 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