knot-dns/doc/ext/ignore_panels.py
Daniel Salzman 5d48ada595 doc: add dummy alternative of sphinx_panels to solve issues with man generation
If the proper sphinx_panels extension is loaded, this exception occurs:
```
Exception occurred:
  File "/usr/lib/python3/dist-packages/sphinx/registry.py", line 346, in create_translator
    setattr(translator, 'visit_' + name, MethodType(visit, translator))
TypeError: first argument must be callable
```
2023-08-18 08:39:56 +02:00

18 lines
324 B
Python

from docutils.parsers.rst import Directive
class IgnorePanels(Directive):
has_content = True
def run(self):
return list()
def setup(app):
app.add_directive("panels", IgnorePanels)
return {
'version': '0.1',
'parallel_read_safe': True,
'parallel_write_safe': True,
}