From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 30 Aug 2015 09:58:38 +0000 (+0100)
Subject: doc/sod.sty: Make `boxy' environment handle footnotes properly.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/9eb66c6efbb1e44b52063245df48b810f2ff4d15

doc/sod.sty: Make `boxy' environment handle footnotes properly.
---

diff --git a/doc/sod.sty b/doc/sod.sty
index 54d8c53..ad91b67 100644
--- a/doc/sod.sty
+++ b/doc/sod.sty
@@ -127,6 +127,7 @@
 
 %% Put a chunk of text in a box.
 \newenvironment{boxy}[1][\q@]{%
+  \savenotes
   \dimen@\linewidth\advance\dimen@-1.2pt\advance\dimen@-2ex%
   \medskip%
   \vbox\bgroup\hrule\hbox\bgroup\vrule%
@@ -136,6 +137,7 @@
   \endminipage\hskip1ex\egroup\vskip1ex\egroup%
   \vrule\egroup\hrule\egroup%
   \medskip%
+  \spewnotes%
 }
 
 %% Lisp documentation machinery.