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 _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
