Definition for \tmpdir

2001-11-13 21:03:45 +00:00 · 2001-11-13 21:03:45 +00:00 · 713c23bb6d
parent 48067a7a2a
commit 713c23bb6d
1 changed files with 10 additions and 10 deletions
--- a/doc/scsh-manual/decls.tex
+++ b/doc/scsh-manual/decls.tex
@ -177,7 +177,7 @@
 \newcommand{\emptylist}   {{\sem empty~list}}
 \newcommand{\car}         {\keyword{car}}
 \newcommand{\cdr}         {\keyword{cdr}}
-
+\newcommand{\TMPDIR}{\texttt{\$TMPDIR}}

 % generally useful things