Revert "Fix for new sphinx API (removes a warning)."

Does not work with the version of Sphinx used on our Gitlab runners. This reverts commit 60b31b3b0c.
2021-01-08 09:27:27 +01:00 · 2021-01-08 09:27:27 +01:00 · 655cffb4e4
parent 18b54dfa98
commit 655cffb4e4
1 changed files with 1 additions and 1 deletions
--- a/doc/manual/source/conf.py
+++ b/doc/manual/source/conf.py
@ -93,5 +93,5 @@ man_pages = [
 def setup(app):
    from dynare_dom import DynareDomain
    from dynare_lex import DynareLexer
-    app.add_lexer("dynare",DynareLexer)
+    app.add_lexer("dynare", DynareLexer())
    app.add_domain(DynareDomain)