diff --git a/tools/splitAndIndexPgm b/tools/splitAndIndexPgm index 1e8c2493fbc0b70be122cdc4815c4770a84bb1a4..809585dd8c2fafed521ce1aabfc3687ad5af6d96 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;