diff --git a/Doc/paper-a4/pypaper.sty b/Doc/paper-a4/pypaper.sty new file mode 100644 index 00000000000..10b22f889ed --- /dev/null +++ b/Doc/paper-a4/pypaper.sty @@ -0,0 +1,5 @@ +% +% Change this to say a4paper instead of letterpaper if you want A4. +% +\newcommand{\py@paper}{a4paper} +\newcommand{\py@ptsize}{10pt}