HTML deployments from Git (was: [PATCH] Add note about Oort Gnus releases, and No Gnus.)

[Ted Zlatanov <tzz@lifelogs.com>]

On Sun, 19 Dec 2010 16:45:58 +0100 Lars Magne Ingebrigtsen <larsi@gnus.org> wrote: 

LMI> Ted Zlatanov <tzz@lifelogs.com> writes:
>> Sure.  I assume this means you want a non-automated deployment which has
>> to be triggered by a person.  Is it OK to add the deployment script to
>> the repo?  And where should I get the manual files?

LMI> No, I was thinking of just having a deployment script that said

LMI> git check-out
LMI> rsync /home/blah.../manual-files gnus/manual-files
LMI> rsync gnus /home/blah/gnus

LMI> or something.

See what I have in /home/tzz/deploy-gnus-html.sh

Decide if it should go in the repo (OK with me) and if you want it to
run automatically on a commit.  I don't mind doing it myself when it's
necessary and it's much less risky that way (but not as cool).

Add whatever "Gnus manual" build process you want to it.  The repo is
entirely checked out by the process so you can do a local build of any
pieces you need.  Remember we now have the Gnus-specific include
mechanism in gnus-overrides.texi to let us say "this is a bleating edge
build of the Gnus manual."

Ted