blob: 43b0d717898e3cef54b325970e5cbe9886982ceb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- setup.py.orig 2023-01-18 12:48:13 UTC
+++ setup.py
@@ -139,7 +139,7 @@ if using_sphinx:
build.sub_commands.insert(0, ("build_sphinx_man", None))
cmdclass["build_sphinx_man"] = BuildDoc
- if platform.system() in ("FreeBSD", "OpenBSD"):
+ if platform.system() in ("OpenBSD"):
man_dir = "man"
else:
man_dir = "share/man"
|