Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: zsh manual - missing bookmarks in pdf file?

On Fri, Mar 4, 2016 at 4:33 AM, Jun T. <takimoto-j@xxxxxxxxxxxxxxxxx> wrote:
> On 2016/03/03, at 23:39, Greg Klanderman <gak@xxxxxxxxxxxxxx> wrote:
>> Looking at the Makefile, maybe pdfetex vs texi2pdf?
> No, texi2pdf is just a simple wrapper script which calls
> 'texi2dvi --pdf', which in tern calls pdfetex.
>>>>>>> On March 3, 2016 Jun T <takimoto-j@xxxxxxxxxxxxxxxxx> wrote:
>>> I don't know how the US version was created.
> It seems zsh_us.pdf was created from zsh.dvi (so it is not
> surprising that it has no bookmarks).
> In order to create a US-sized PDF with bookmarks, we need to modify
> zsh.texi because a command @afourpaper is embedded in it and
> it seems there is no texinfo command to cancel it (or to change the
> paper size to US letter).
> The patch below removes the @afourpaper from zsh.texi, and
> add it by "-t @afourpaper" when A4 output is required.
> A few minor points to discuss:
> (1) A4 and US versions are named zsh_a4.pdf and zsh_us.pdf,
>     as in the download page. Other possibility is
>     zsh.a4.pdf and zsh.us.pdf (as intro.{a4,us}.pdf).
>     Also we can use zsh.pdf for A4 version.
> (2) 'make pdf' creates both zsh_a4.pdf and zsh_us.pdf.
>     Is it better to create just on of them by default?
> (3) zsh.dvi is for A4 paper, as before.
> (4) Is it really necessary to have both A4 and US?
>     Or just A4 is enough?

We could somehow use LC_PAPER to determine which to build, and allow
overriding/building both with a configure option?

Mikael Magnusson

Messages sorted by: Reverse Date, Date, Thread, Author