diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 23:25:30 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 23:25:30 -0400 |
| commit | ccb8d77bd37da802f8a1279447e20c554022289d (patch) | |
| tree | fde4dd9fc6b061eb7666954411ceaf31dea68054 | |
| parent | 1b9995725af7f9deae1acc09db1d7801aab78e14 (diff) | |
Use letter paper for reference manual
| -rw-r--r-- | debian/patches/doc-letterpaper.diff | 14 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
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 |