diff --git a/gendoc.sh b/gendoc.sh
new file mode 100755
index 0000000..c0fe9fb
--- /dev/null
+++ b/gendoc.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env sh
+
+coqdoc -t Bonak --no-lib-name --parse-comments --utf8 -d docs -Q _build/default/theories Bonak _build/default/theories/νType/*.v