'make doc' should generate translated PDF files of website [WAS: Re: How to extract PDF of translated documentation?]

[Federico Bruni]

Il 13/01/2013 11:58, Francisco Vila ha scritto:
> 2013/1/13 Federico Bruni <address@hidden>:
> > Il 13/01/2013 11:45, Francisco Vila ha scritto:
> >
> > > Oh sorry! you mean PDF of the translation of the web document.
> > >
> > > http://www.lilypond.org/development.de.html  links to web.de.pdf but
> > > you are right, this is a dead link.
> >
> >
> > the dead links to web.xx.pdf occur only on certain languages: fr, de, cs, hu
>
> for 'es' the link is alive but points to untranslated web.pdf

Same for italian and nederlands.
Curiously, spanish doc v2.15 links to web.es.pdf (therefore it's broken):
http://lilypond.org/doc/v2.15/Documentation/web/development.es.html

Anyway, translated versions of PDF files were never generated (going 
back up to 2.13):
http://lilypond.org/doc/v2.15/Documentation/

We would expect to have the translated PDF, as in any other manual.
I've opened an issue in the tracker:
http://code.google.com/p/lilypond/issues/detail?id=3107

I've CCed also lilypond-bug (sorry for the big cross-posting).

--
Federico