doc-src/System/basics.tex
changeset 14933 3fd8c03e3ee6
parent 13047 f27cc0a43feb
child 15685 64f76b974a8d
equal deleted inserted replaced
14932:df56e644da8f 14933:3fd8c03e3ee6
   186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with
   186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with
   187   documentation files.
   187   documentation files.
   188   
   188   
   189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying
   189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying
   190   \texttt{dvi} files.
   190   \texttt{dvi} files.
       
   191   
       
   192 \item[\settdx{PRINT_COMMAND}] specifies the standard printer spool command,
       
   193   which is expected to accept PS files.
   191   
   194   
   192 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running
   195 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running
   193   \texttt{isabelle} process derives an individual directory for temporary
   196   \texttt{isabelle} process derives an individual directory for temporary
   194   files.  The default is somewhere in \texttt{/tmp}.
   197   files.  The default is somewhere in \texttt{/tmp}.
   195   
   198