Dashboard

Editing: texdocrc.defaults

# 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

Cancel

Just another WordPress site