message: hammer: overworked release target
diff: @@ -313,5 +313,12 @@ ChangeLog.md:
  ##########################################################################
  release:
  + mkdir release_files
  zip -9 -r include.zip include/*
  gpg --armor --detach-sig include.zip
  + mv include.zip include.zip.asc release_files
  + gpg --armor --detach-sig single_include/nlohmann/json.hpp
  + cp single_include/nlohmann/json.hpp release_files
  + mv single_include/nlohmann/json.hpp.asc release_files
  + cd release_files ; shasum -a 256 json.hpp > hashes.txt
  + cd release_files ; shasum -a 256 include.zip >> hashes.txt
  