Git hooks turn Pamflet from a cute toy into digital printing press. Set them up on a server under your control (you do have one, yes?) and have your published documentation updated every time you push.
Assuming your have a
--bare git repository on your server, it should
already have a
hooks/ subdirectory. In
hooks/, create or edit a
post-update that is similar to the following:
#!/bin/sh HOME=/home/me DOCB=$HOME/app/my_doc_build PUB=$HOME/app/my_pub cd $DOCB env -i git pull cd - $HOME/bin/pf $DOCB/docs $PUB
DOCB is a clone of the same repo, but with a working tree.
PUB is the
directory where the finished
html and other files will be
HOME is your home directory, because git runs the hook in a
weird environment and it’s best to be explicit.
Set all that up, and make the hook script executable or it will not
run and you’ll be very confused for a while. Also, make sure that
~/bin/pf runs normally on the server.
When you push to the bare repo from elsewhere, you’ll see the normal git output along with a success or error message from Pamflet. (And yes, this is some pretty lame scripting. Fork this pamflet, that’s what it’s here for.)