diff --git a/trytond/doc/ref/config.rst b/trytond/doc/ref/config.rst
index f8f89ad433..f4c5fcf549 100644
--- a/trytond/doc/ref/config.rst
+++ b/trytond/doc/ref/config.rst
@@ -53,6 +53,10 @@ The config gives access to the configuration.
 
    Removes the named section.
 
+.. function:: options(section)
+
+   Returns a list of option names for the given section.
+
 .. function:: set(section, option[, value])
 
    Set the given option to the specified value.
diff --git a/trytond/trytond/config.py b/trytond/trytond/config.py
index 7d76212767..bff6742796 100644
--- a/trytond/trytond/config.py
+++ b/trytond/trytond/config.py
@@ -154,6 +154,7 @@ def update_etc(configfile=os.environ.get('TRYTOND_CONFIG')):
 has_section = _config.has_section
 add_section = _config.add_section
 remove_section = _config.remove_section
+options = _config.options
 
 
 def set(section, option, value=None):