Re: [PATCH] Provide papersize for refcard.dvi

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 6 Aug 2025 16:53:04 +0200
> From: Vincent Lefevre <vincent@vinc17.net>
> 
> This patch provides papersize information for "refcard.dvi".
> Without this, xdvi uses the default papersize configured on
> the machine to display the dvi file; this may yield truncated
> output:
>   https://bugs.debian.org/cgi-bin/bugreport.cgi?att=1;bug=461815;filename=refcard-dvi.png;msg=15
> 
> This patch fixes
>   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461815
> 
> Other explanations are given at
>   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461613
> 
> diff --git a/gdb/doc/refcard.tex b/gdb/doc/refcard.tex
> index 8a402620bcc..9628c1d20fe 100644
> --- a/gdb/doc/refcard.tex
> +++ b/gdb/doc/refcard.tex
> @@ -100,6 +100,7 @@
>    \pdfpagewidth=\totalwidth     % width of paper in pdf output
>    \pdfpageheight=\totalheight   % height of paper in pdf output
>  \fi
> +\special{papersize=11in,8.5in}  % for dvi output
>  %------- end papersize params
>  %%
>  %%  change according to personal taste, not papersize dependent

Thanks, but we need to bring some TeX and DVI expert on board.  I
wonder why GDB needs this whereas, for example, Emacs doesn't.  Is
there something fundamentally wrong with the GDB refcard?