Add (heavily work in progress) documentation.

To render correctly, the docs require: * pygments/pygments#1441
2020-04-27 07:21:31 +00:00 · 2020-04-27 07:21:31 +00:00 · 399b8f9863
commit 399b8f9863
parent 8dacbbb2b2
21 changed files with 1565 additions and 23 deletions
--- a/.gitignore
+++ b/.gitignore
@ -14,6 +14,6 @@ __pycache__/
 *.gtkw

 # misc user-created
-*.il
-*.v
+/*.il
+/*.v
 /build