From e1e1d712243aa14396350ee010e66e9ce6a3613b Mon Sep 17 00:00:00 2001
From: Zohreh MOSTAANI <zohreh.mostaani@idiap.ch>
Date: Thu, 17 Oct 2019 14:45:08 +0200
Subject: [PATCH] Apply suggestion to doc/development.rst

---
 doc/development.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/development.rst b/doc/development.rst
index f72cea08..87211383 100644
--- a/doc/development.rst
+++ b/doc/development.rst
@@ -1,4 +1,4 @@
-.. _bob.extension.development:
+.. _bob.devtools.development:
 
 =========================================
  Local development of |project| packages
-- 
GitLab