Linux ip-172-26-7-228 5.4.0-1103-aws #111~18.04.1-Ubuntu SMP Tue May 23 20:04:10 UTC 2023 x86_64
Your IP : 13.58.232.94
# 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
# end of config
|