From 3f4465aadafa3d718b8b4c23aa3680e416b70973 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 9 Jan 2012 13:27:14 -0700 Subject: [PATCH] make `scriblib/figure' work with `scribble/jfp' original commit: 3b87b735554b216d78690e4bc25f586988c08311 --- collects/scriblib/figure.tex | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/scriblib/figure.tex b/collects/scriblib/figure.tex index 4606cd56..b7a586a2 100644 --- a/collects/scriblib/figure.tex +++ b/collects/scriblib/figure.tex @@ -1,5 +1,11 @@ \usepackage{ccaption} +% \legend relies on \belowcaptionskip, which is not defined +% by the JFP class file: +\makeatletter +\@ifundefined{belowcaptionskip}{\newlength{\belowcaptionskip}}{} +\makeatother + \newcommand{\Legend}[1]{~ \hrule width \hsize height .33pt