diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 09:50:04 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 09:50:04 -0400 |
commit | cccbd25b41409f5e460800595cd8d6f67d3556c7 (patch) | |
tree | 724030e5349b7f3e7a391d03716da71184e3c9a6 | |
parent | ecaa75474e9160a09b6897ff2e107a0f51a243cb (diff) |
Use letter-size paper for reference manual
LaTeX on Debian defaults to A4 paper, but the official reference manual
(as available on the Ur/Web site) uses letter paper.
Gbp-Pq: Name doc-letterpaper.diff
-rw-r--r-- | doc/manual.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index eaf7aab..5bd0416 100644 --- 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} |