diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/python_api/sphinx_doc_gen.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_gen.py b/doc/python_api/sphinx_doc_gen.py index 930e5b88911..12ffe5b6edf 100644 --- a/doc/python_api/sphinx_doc_gen.py +++ b/doc/python_api/sphinx_doc_gen.py @@ -81,6 +81,7 @@ import sys import inspect import shutil import logging +import warning from textwrap import indent @@ -1204,7 +1205,7 @@ def pycontext2sphinx(basepath): # for member in sorted(unique): # print(' "%s": ("", False),' % member) if len(context_type_map) > len(unique): - raise Exception( + warnings.warn( "Some types are not used: %s" % str([member for member in context_type_map if member not in unique])) else: |