Update git submodules

[docs.git] / docs / developer-guide / netide-developer-guide.rst

diff --git a/docs/developer-guide/netide-developer-guide.rst b/docs/developer-guide/netide-developer-guide.rst
index 156882d494931d5fa3109c6674120c0b0641f295..f4f19290cd23326a52b075582d1c441595e1416a 100644 (file)
--- a/docs/developer-guide/netide-developer-guide.rst
+++ b/docs/developer-guide/netide-developer-guide.rst
@@ -1,3 +1,5 @@
+.. _netide-dev-guide:
+
 NetIDE Developer Guide
 ======================