]> arthur.barton.de Git - bup.git/commit
update-doc-branches: add command to update man and html
authorRob Browning <rlb@defaultvalue.org>
Sat, 20 Oct 2018 17:35:11 +0000 (12:35 -0500)
committerRob Browning <rlb@defaultvalue.org>
Sat, 20 Oct 2018 18:46:50 +0000 (13:46 -0500)
commit178805d981f6aa196d4bc394442c8c409870d9e0
treea9d0e9bccf4be845191a70b2e45163c8a5e879ea
parentd90aaa8417a32d2ab88e87ca8c3e1a41e960f4bf
update-doc-branches: add command to update man and html

Create a new command to update the man and html branches, and move the
related code there from the Makefile.

Update the branches based on the current (clean) tree, rather than
consulting the git origin, and rely on ls-files rather than globbing
so that the file lists will always be correct -- we'll immediately
notice deletions, avoid picking up stray files in the directory, etc.

Signed-off-by: Rob Browning <rlb@defaultvalue.org>
Tested-by: Rob Browning <rlb@defaultvalue.org>
Makefile
dev/update-doc-branches [new file with mode: 0755]