gendoc.sh: add small coqdoc helper

artagnon · Oct 12, 2024 · 5749678 · 5749678
1 parent 3b3b03e
commit 5749678
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gendoc.sh 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