From 674a0b12a636e0801e249aa663ad46333c95b832 Mon Sep 17 00:00:00 2001 From: Igor Wiedler Date: Fri, 31 Aug 2012 02:33:20 +0200 Subject: [PATCH] Increase margin by 0.5in --- doc/make-pdf.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh index 372c2c528..91032e178 100755 --- a/doc/make-pdf.sh +++ b/doc/make-pdf.sh @@ -17,7 +17,7 @@ cat >> book.tex <