summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-10 23:25:30 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-10 23:25:30 -0400
commitccb8d77bd37da802f8a1279447e20c554022289d (patch)
treefde4dd9fc6b061eb7666954411ceaf31dea68054
parent1b9995725af7f9deae1acc09db1d7801aab78e14 (diff)
Use letter paper for reference manual
-rw-r--r--debian/patches/doc-letterpaper.diff14
-rw-r--r--debian/patches/series1
2 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/doc-letterpaper.diff b/debian/patches/doc-letterpaper.diff
new file mode 100644
index 00000000..f9f88fc2
--- /dev/null
+++ b/debian/patches/doc-letterpaper.diff
@@ -0,0 +1,14 @@
+From: Benjamin Barenblat <bbaren@mit.edu>
+Subject: Use letter-size paper for reference manual
+Forwarded: no
+
+LaTeX on Debian defaults to A4 paper, but the official reference manual
+(as available on the Ur/Web site) uses letter paper.
+--- a/doc/manual.tex
++++ b/doc/manual.tex
+@@ -1,4 +1,5 @@
+ \documentclass{article}
++\usepackage[letterpaper,pass]{geometry}
+ \usepackage{fullpage,amsmath,amssymb,proof,url}
+ \usepackage[T1]{fontenc}
+ \usepackage{ae,aecompl}
diff --git a/debian/patches/series b/debian/patches/series
index 7e2a646c..a285d896 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
harden.diff
+doc-letterpaper.diff