tools: Avoid unneeded web site builds.
authorWerner Koch <wk@gnupg.org>
Sat, 16 Jul 2016 12:07:57 +0000 (14:07 +0200)
committerWerner Koch <wk@gnupg.org>
Sat, 16 Jul 2016 12:07:57 +0000 (14:07 +0200)
commit9a0bed8d819c72535b4368e1c7f9b53bdffe3043
tree5b6637f050d847d615c20248a2bf0b901e9163d5
parent212ca849806b6eeda852f52bc9548e42ece0116e
tools: Avoid unneeded web site builds.
tools/build-website.sh