`make pdf`: How is papersize configured?

`make pdf`: How is papersize configured?

[Jan-Benedict Glaw]

[-- Attachment #1: Type: text/plain, Size: 361 bytes --]

Hi!

That's a kind of silly question, but I've got two Debian hosts
(actually the host itself and a Docker VM) that build either a4 or
letter documentation. Both are in theory configured to produce a4
content by default (ie. `paperconfig --paper a4`).

  How can I force to specifically create A4 or Letter sized docs?

Thanks,
  Jan-Benedict

-- 

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

Re: `make pdf`: How is papersize configured?

[Segher Boessenkool]

Hi!

On Fri, Nov 25, 2022 at 06:45:16PM +0100, Jan-Benedict Glaw wrote:
> That's a kind of silly question, but I've got two Debian hosts
> (actually the host itself and a Docker VM) that build either a4 or
> letter documentation. Both are in theory configured to produce a4
> content by default (ie. `paperconfig --paper a4`).
> 
>   How can I force to specifically create A4 or Letter sized docs?

As far as I can see it always uses letter, the way it is set up now.

You can use the following patch for A4.

There also is a texinfo.cnf thing apparently, I have no experience with
that, but see
<https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Preparing-for-TeX.html>.

Enjoy,


Segher


diff --git a/gcc/doc/include/texinfo.tex b/gcc/doc/include/texinfo.tex
index a5a7b2beac73..04a3cb78d641 100644
--- a/gcc/doc/include/texinfo.tex
+++ b/gcc/doc/include/texinfo.tex
@@ -10011,3 +10011,5 @@ directory should work if nowhere else does.}
 @ignore
    arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115
 @end ignore
+
+@afourpaper