Fix: re-enable manual

eddiebergman · eddiebergman · commit 07224bfd34b3 · 2022-01-25T14:43:23.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'),
