#!/bin/sh # Run this after updating files to regenerate sitemap and other file listings # Can be run in any directory (works out where to apply changes) # Public domain (or under the Unlicense, if desired) SCRIPTS_DIR=$(dirname "$(realpath "$0")") # Make sure to update this if location of this script changes: BASE_DIR=$SCRIPTS_DIR/../.. # /sitemap/ cat > "$BASE_DIR"/sitemap/index.html << EOF Maia Woolf – Sitemap

Sitemap

This sitemap was generated by some scripts which I run manually, so it may be out of date if I have forgotten to run it.

/ EOF "$SCRIPTS_DIR"/create-listing "$BASE_DIR"/ ../ >> "$BASE_DIR"/sitemap/index.html cat >> "$BASE_DIR"/sitemap/index.html << EOF

This sentence was last updated on 2026-04-15.

EOF # /files/ cat > "$BASE_DIR"/files/index.html << EOF Maia Woolf – Files

Files

You've found the listing of miscellaneous files that I keep on this website!

This listing was generated by some scripts which I run manually, so it may be out of date if I have forgotten to run it.

EOF "$SCRIPTS_DIR"/create-listing "$BASE_DIR"/files/ >> "$BASE_DIR"/files/index.html cat >> "$BASE_DIR"/files/index.html << EOF

This sentence was last updated on 2026-04-15.

EOF # /files/gen/ (website generation scripts) cat > "$BASE_DIR"/files/gen/index.html << EOF Maia Woolf – Listing generation scripts

Listing generation scripts

You've found the listing of scripts that I use to generate file listings on this website.

This listing was generated by these scripts, which I run manually, so it may be out of date if I have forgotten to run it.

EOF "$SCRIPTS_DIR"/create-listing "$BASE_DIR"/files/gen/ \ >> "$BASE_DIR"/files/gen/index.html cat >> "$BASE_DIR"/files/gen/index.html << EOF

This sentence was last updated on 2026-04-15.

EOF