Fabian Homborg 75a4e28e4f Manpage generator: Give better error when we can't understand manpath ...

This would just say "No paths specified", which is *true*, but then we
typically don't give paths, because we figure out the man path.

2021-03-26 19:32:14 +01:00

..

web_config

Misc cleanups

2021-03-21 19:41:36 +01:00

create_manpage_completions.py

Manpage generator: Give better error when we can't understand manpath

2021-03-26 19:32:14 +01:00

deroff.py

Fix: equality vs identity

2019-11-06 14:13:21 +08:00