odoc

ghuysmans · Jun 21, 2019 · 53697d6 · 53697d6
1 parent 7ac6f08
commit 53697d6
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -4,3 +4,5 @@ top:
 	dune utop lib
 clean:
 	dune clean
+doc:
+	dune build @doc-private
diff --git a/doc/.gitignore → paper/.gitignore b/doc/.gitignore → paper/.gitignore
diff --git a/doc/refs.bib → paper/refs.bib b/doc/refs.bib → paper/refs.bib
diff --git a/doc/rsa.tex → paper/rsa.tex b/doc/rsa.tex → paper/rsa.tex