Slight modification to TeX macros in respect to page shifting.
Unified · Split
| @@ -1,8 +1,8 @@ | |||
| 1 | % standard macros for CWEB listings (in addition to plain.tex) | 1 | % standard macros for CWEB listings (in addition to plain.tex) |
| 2 | % Version 3.69 --- February 2016 | 2 | % Version 3.70 --- July 2017 |
| 3 | \ifx\renewenvironment\undefined\else\endinput\fi % LaTeX will use other macros | 3 | \ifx\renewenvironment\undefined\else\endinput\fi % LaTeX will use other macros |
| 4 | \xdef\fmtversion{\fmtversion+CWEB3.69} | 4 | \xdef\fmtversion{\fmtversion+CWEB3.70} |
| 5 | \chardef\cwebversion=3 \chardef\cwebrevision=69 | 5 | \chardef\cwebversion=3 \chardef\cwebrevision=70 |
| 6 | \newif\ifpdf | 6 | \newif\ifpdf |
| 7 | \ifx\pdf+\pdftrue\fi | 7 | \ifx\pdf+\pdftrue\fi |
| 8 | % Uncomment the following line if you want PDF goodies to be the default | 8 | % Uncomment the following line if you want PDF goodies to be the default |
| @@ -412,7 +412,8 @@ · 403 unmodified lines | |||
| 412 | \newdimen\pagewidth \pagewidth=6.5in % the width of each page | 412 | \newdimen\pagewidth \pagewidth=6.5in % the width of each page |
| 413 | \newdimen\pageheight \pageheight=8.7in % the height of each page | 413 | \newdimen\pageheight \pageheight=8.7in % the height of each page |
| 414 | \newdimen\fullpageheight \fullpageheight=9in % page height including headlines | 414 | \newdimen\fullpageheight \fullpageheight=9in % page height including headlines |
| 415 | \newdimen\pageshift \pageshift=0in % shift righthand pages wrt lefthand ones | 415 | \newdimen\pageshift \pageshift=\hoffset |
| 416 | % shift righthand pages wrt lefthand ones (changed in version 3.70) | ||
| 416 | \def\magnify#1{\mag=#1\pagewidth=6.5truein\pageheight=8.7truein | 417 | \def\magnify#1{\mag=#1\pagewidth=6.5truein\pageheight=8.7truein |
| 417 | \fullpageheight=9truein\setpage} | 418 | \fullpageheight=9truein\setpage} |
| 418 | \def\setpage{\hsize\pagewidth\vsize\pageheight} % use after changing page size | 419 | \def\setpage{\hsize\pagewidth\vsize\pageheight} % use after changing page size |