]> arthur.barton.de Git - bup.git/commit
update-doc-branches: add command to update man and html 0.29.2
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 17:38:37 +0000 (12:38 -0500)
commit172cccc8b0205122f3061a70d016f745950da00e
tree70f3edc1341f6a993c8a42e721cb17e212dc0a82
parente86178618ca124bad24a04fa364050f6c37c0637
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]