diff options
| -rw-r--r-- | docs/conf.py | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/docs/conf.py b/docs/conf.py index 8281827e..3e95e52d 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -45,7 +45,7 @@ extensions = ['sphinx.ext.intersphinx',                'sphinx.ext.ifconfig',                'sphinx.ext.graphviz',                'notfound.extension', -              #'autosectionlabel', +              'autosectionlabel',                'vyos'  ] | 
