tools: Improve build-website.sh. Update mkkudos.sh.
authorWerner Koch <wk@gnupg.org>
Sat, 18 Mar 2017 13:31:23 +0000 (14:31 +0100)
committerWerner Koch <wk@gnupg.org>
Sat, 18 Mar 2017 13:31:23 +0000 (14:31 +0100)
commit3c8973d06cd0977c6c2710976773e07575c15952
treec4ee0c458d4723d3480210e562406d56d571ece8
parent3d21081d17122deaf510e124cce71479dee8acf0
tools: Improve build-website.sh.  Update mkkudos.sh.
tools/build-website.sh
tools/mkkudos.sh