[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patchy's built docs on the web
From: |
John Mandereau |
Subject: |
Re: Patchy's built docs on the web |
Date: |
Mon, 13 Aug 2012 02:17:00 +0200 |
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