Re: How to extract PDF of translated documentation?

[David Kastrup]

Federico Bruni <address@hidden> writes:

> Il 13/01/2013 11:24, David Kastrup ha scritto:
>> which is quite nice as an introduction.  make doc apparently also builds
>> a PDF version of it which is fine for that purpose.  However, it
>> apparently does not build a PDF of the German (or any) translation.
>
> HTML, no?

No, PDF.

> There is web-big-page.de.html

Yes, but since the original is in Texinfo, the regular path via PDFTeX
is going to produce a higher quality result, like it is available for
the untranslated web page.

-- 
David Kastrup