How to extract PDF of translated documentation?

[David Kastrup]

Hi,

an old lady I had visited in Switzerland asked me to provide her for
examples of input for LilyPond, and she has no computer.  Now it turns
out that the web site has

File: lilypond-web.info,  Node: Text input,  Next: Easier editing,  Prev: 
Reviews,  Up: Introduction

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.

Anybody have a quick suggestion how to do this manually?  After all, it
is a bit intricate with having to run Lilypond-book, specifying paths,
include paths, and other stuff.

-- 
David Kastrup