#!/bin/bash
# WF 2026-03-14
# prepare a release
scripts/doc -d

git commit -a -m "release commit"
git push
