#! /bin/bash
# vim: ts=4 sw=4

cd "$(dirname "$0")/index"

for d in * ; do
	[ -d "$d" ] || continue
	[ -r "$d/iamflint" ] || continue
	echo "<option value=\"$d\">$d</option>"
done | sort


