#!/bin/sh
SRC=quicksort.v

# coqdoc -g --body-only --latex $(SRC).v
coqdoc -g $SRC
rm coqdoc.css index.html