Merge pull request #207 from mumuki/site-docs

Add ready-to-build docs folder with the mkdocs tool
mumuki · Sep 23, 2019 · 67897d0 · 67897d0
2 parents 112cab2 + 364266e
commit 67897d0
Show file tree

Hide file tree

Showing 31 changed files with 3,856 additions and 2,536 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,4 +3,9 @@ cabal.sandbox.config
 .cabal-sandbox/**
 .stack-work/**
 **/*.ghc
-.deploy/
+site/
+docs/css/mumuki-styles.css
+docs/js/mulang.js
+docs/js/mumuki-styles.js
+docs/themes/cinder/**
+.deploy/**