web: Add a devel/ section with one file for now.
[gnupg-doc.git] / tools / build-website.sh
2016-07-19 Werner Kochweb: Do not build an index.
2016-07-16 Werner Kochtools: Avoid unneeded web site builds.
2016-07-16 Werner Kochweb: Prepare for auto-builder