From 28505f0b529cf624137b545d2a4281fc44a2eddc Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 30 Apr 2010 15:37:29 +0000
Subject: [PATCH] add some negative vertical space between code blocks when
splitting
---
tools/splitAndIndexPgm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/splitAndIndexPgm b/tools/splitAndIndexPgm
index 1e8c249..809585d 100644
--- a/tools/splitAndIndexPgm
+++ b/tools/splitAndIndexPgm
@@ -41,7 +41,7 @@ while (<>) {
print "\@\n";
&printIndexEntries(); # for previous block
$SaveForIndexing .= $_;
- print "\\eprogB\\noindent\\bprogB\n\@\n$_";
+ print "\\eprogB\\vspace{-2ex}\\noindent\\bprogB\n\@\n$_";
$lineCnt = 0;
$savedBlanks = 0;
--
GitLab