From 262055da0e5cf05ea5a5a7c9edaaa244c4d53e24 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 21 May 2013 13:44:25 -0600
Subject: [PATCH] scriblib/footnote: adjust environment to make output empty
Paragraph breaks within the footnote environment created whitespace
output, but the intent is to have no output.
original commit: bc0b50be961044c8c845221c61a5d67f8cbd9665
---
collects/scriblib/footnote.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/collects/scriblib/footnote.tex b/collects/scriblib/footnote.tex
index 5501c470..ad0676b9 100644
--- a/collects/scriblib/footnote.tex
+++ b/collects/scriblib/footnote.tex
@@ -7,5 +7,6 @@
\newcommand{\FootnoteTarget}[1]{}
\newcommand{\FootnoteContent}[1]{#1}
-\newenvironment{FootnoteBlock}{}{}
+% Redefine \noindent to avoid generating any output at all:
+\newenvironment{FootnoteBlock}{\renewcommand{\noindent}{}}{}
\newcommand{\FootnoteBlockContent}[1]{}