From bc0b50be961044c8c845221c61a5d67f8cbd9665 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.
---
 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 5501c47054..ad0676b9ec 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]{}