Fix: re-enable manual

eddiebergman · eddiebergman · commit 3818d35fcfb1 · 2022-01-25T16:25:58.000+01:00
diff --git a/doc/conf.py b/doc/conf.py
@@ -198,7 +198,7 @@
         ('Start', 'index'),
         ('Releases', 'releases'),
         ('Installation', 'installation'),
-        #('Manual', 'manual'),
+        ('Manual', 'manual'),
         ('Examples', 'examples/index'),
         ('API', 'api'),
         ('Extending', 'extending'),
