#!/bin/sh [ ! -d dist ] && mkdir dist rm -f dist/* cp ./*.css ./*.svg ./*.png ./*.jpg dist/ awk -f lib/inc.awk ./*.html for file in ./*.html; do if [ "$file" = "index.html" ] || [ ! -f "${file%%.html}-inc.htm" ]; then cp "$file" dist/ continue fi ed "$file" <?-r footer.htm ?{{incoming}}?d -r ${file%%.html}-inc.htm w dist/$file q EOF done journal="decadv-2025" [ -x "$(which html-journal)" ] && { html-journal "${journal}.html" "https://aaoth.xyz/${journal}.html" > dist/"${journal}-atom.xml" } rm ./*-inc.htm