jc/updatedocs.sh

#!/bin/bash
# Update all documentation (README.md, Man page, Doc files)

(
    echo === Building README.md
    ./readmegen.py && echo "++++ README.md build successful" || echo "---- README.md build failed"
) &

(
    echo === Building man page
    ./mangen.py && echo "++++ man page build successful" || echo "---- man page build failed"
) &

(
    echo === Building documentation
    ./docgen.sh && echo "++++ documentation build successful" || echo "---- documentation build failed"
) &

wait
echo
echo "All documentation updated"

echo
echo "Building shell completion scripts"
./build-completions.py && echo "++++ shell completion build successful" || echo "---- shell completion build failed"