diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index 6fd783e7..32120b82 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -65,6 +65,7 @@ \newcommand{\techinside}[1]{#1} \newcommand{\badlink}[1]{#1} \newcommand{\indexlink}[1]{#1} +\newcommand{\noborder}[1]{#1} \newcommand{\imageleft}[1]{} % drop it \newcommand{\smaller}[1]{{\footnotesize #1}}