Re: Patchy's built docs on the web

[John Mandereau]

Le vendredi 10 août 2012 à 13:25 +0200, Reinhold Kainhofer a écrit :
> I let a cronjob build origin/master from scratch every night at 01:30 am
> CEST (UTC+2) and upload the docs to my server.

So your setup makes a clean build like Patchy, with the difference that
Patchy actually builds staging, then if the build (all+test+doc) is
successful it merges into master, then upload docs.


> The main difference to all the other documentation copies on various
> servers is that I enable the AJAX quick search box in the manuals (which
> basically just greps through the index and displays the hits from the
> index). To be honest, I couldn't work with the docs any more without
> that search box.

Ah, great! BTW what do you think about concerns raised in
http://code.google.com/p/lilypond/issues/detail?id=1270
?

Cheers
J