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