CI dox
diff --git a/ci/run.sh b/ci/run.sh
index 16778a9..f9e0b51 100644
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -1,5 +1,8 @@
 #!/bin/sh
 
+# Builds and runs tests for a particular target passed as an argument to this
+# script.
+
 set -ex
 
 TARGET=$1