doc/conf.py
changeset 11631 faf279e33298
parent 11057 0b59724cb3f2
child 12352 1a0159426def
--- a/doc/conf.py	Fri Sep 23 16:04:32 2016 +0200
+++ b/doc/conf.py	Mon Sep 26 14:52:12 2016 +0200
@@ -224,3 +224,8 @@
 .. |yams| replace:: *Yams*
 .. |rql| replace:: *RQL*
 """
+
+def setup(app):
+    app.add_object_type('confval', 'confval',
+                        objname='configuration value',
+                        indextemplate='pair: %s; configuration value')