diff --git a/devel b/devel
new file mode 120000
--- /dev/null
+++ b/devel
@@ -0,0 +1 @@
+docs
\ No newline at end of file
diff --git a/tox.ini b/tox.ini
--- a/tox.ini
+++ b/tox.ini
@@ -16,7 +16,7 @@
 commands =
   {envpython} -m pifpaf run postgresql -- make -C sysadm {posargs:html}
   {envpython} -m pifpaf run postgresql -- make -C users {posargs:html}
-  {envpython} -m pifpaf run postgresql -- make -C docs {posargs:html}
+  {envpython} -m pifpaf run postgresql -- make -C devel {posargs:html}
 
 [testenv:sphinx-dev]
 whitelist_externals = make
@@ -28,7 +28,7 @@
 commands =
   {envpython} -m pifpaf run postgresql -- make -C sysadm {posargs:html}
   {envpython} -m pifpaf run postgresql -- make -C users {posargs:html}
-  {envpython} -m pifpaf run postgresql -- make -C docs {posargs:html}
+  {envpython} -m pifpaf run postgresql -- make -C devel {posargs:html}
 
 [testenv:black]
 skip_install = true