1 files changed, 20 insertions, 0 deletions
diff --git a/doc/mkdocs.yml b/doc/mkdocs.yml
new file mode 100644
index 0000000..ca7f7ec
--- /dev/null
+++ b/doc/mkdocs.yml
@@ -0,0 +1,20 @@
+site_name: Snug
+
+theme:
+  name: readthedocs
+  hljs_languages:
+    - mipsasm
+
+markdown_extensions:
+  - admonition
+  - toc:
+      permalink: true
+  - smarty
+
+nav:
+  - Introduction: index.md
+  - The Snug frontend:
+    - Syntax: frontend/syntax.md
+  - The Snug backend:
+    - Run time system: backend/rts.md
+    - Registers: backend/registers.md