@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−# Tests that documentation is generated for type classes
2+# Tests that documentation is generated for typeclasses
33idris --mkdoc test_typeclasses.ipkg
44[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"
55rm -rf *.ibc *_doc