#!/bin/bash shopt -s globstar set -eu set -o pipefail rm -rf dest mkdir -p dest TREE="$(pwd)/tree.sh" destdir="$(pwd)/dest" commit="$(git rev-parse --short HEAD)" cd ../theories for file in **/*.v; do destfile="$destdir/$file.html" mkdir -p "$(dirname "$destfile")" echo " $file

Verified Interpreters for Dynamic Languages

with Applications to the Nix Expression Language

Rocq Mechanization Commit $commit

' >> "$destfile" python -m pygments -fhtml -lcoq -Oanchorlinenos,linenos,linespans=line "$file" >> "$destfile" echo '

' >> "$destfile" done