tools: Update the web build tools.
authorWerner Koch <wk@gnupg.org>
Fri, 17 Mar 2017 20:10:26 +0000 (21:10 +0100)
committerWerner Koch <wk@gnupg.org>
Fri, 17 Mar 2017 20:10:26 +0000 (21:10 +0100)
commitcbd32ab27da9d5841dcc4007fe6078024ce9446a
tree6df6db20f748220f85cc545f0c38bf2aa89db86c
parent0ef14cc5af1cdd690b77f98f2087e71ed44979a0
tools: Update the web build tools.
tools/build-website.sh
tools/trigger-website-build [new file with mode: 0644]