diff options
Diffstat (limited to 'support/latex/scaladefs.sty')
-rw-r--r-- | support/latex/scaladefs.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/latex/scaladefs.sty b/support/latex/scaladefs.sty index 578fcfa3fa..9fa86e130d 100644 --- a/support/latex/scaladefs.sty +++ b/support/latex/scaladefs.sty @@ -68,6 +68,6 @@ \newcommand{\EOL}{\la\mbox{EOL}\ra} \newcommand{\syntax}{{\bf Syntax:}} \newcommand{\todo}[1]{$\clubsuit$ {\bf #1} $\spadesuit$} -\newcommand{\Dollar}{\$}%$ +\newcommand{\Dollar}{\mbox{\$}}%$ \newcommand{\sref}[1]{\S\ref{#1}} \newcommand{\nyi}[1]{\footnote{#1 not yet implemented.}}
\ No newline at end of file |