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
..
ignore_panels.py	doc: add dummy alternative of sphinx_panels to solve issues with man generation	2023-08-18 08:39:56 +02:00