#!/usr/bin/env bash

set -e

source "$(dirname "$0")/common"

cd "$AFP_ROOT/thys"

find . -mindepth 1 -maxdepth 1 -type d -exec basename {} \; | LC_ALL=C sort > ROOTS

echo "Done."
