[change] Using opam wiki as a git submodule to generate documentation

samoht · Sep 18, 2012 · c5807d5 · c5807d5
1 parent 64ed4c5
commit c5807d5
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 380 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "content/doc"]
+	path = content/doc
+	url = https://github.com/OCamlPro/opam.wiki.git
diff --git a/content/doc b/content/doc
diff --git a/content/doc/Tutorial.md b/content/doc/Tutorial.md