Packaging: Debian: Add man page

packaging/debian/debian/control

@@ -7,6 +7,7 @@ Build-Depends:
  python3-all,
  python3-nose,
  python3-setuptools,
+ python3-sphinx,
  python3-yaml,
 Standards-Version: 3.9.7
 Homepage: https://github.com/adrienverge/yamllint

packaging/debian/debian/rules

@@ -2,3 +2,10 @@
 
 %:
 	dh $@ --with python3 --buildsystem=pybuild
+
+override_dh_auto_build:
+	dh_auto_build
+	PYTHONPATH=. http_proxy='127.0.0.1:9' sphinx-build -N -bman docs build/man
+
+override_dh_installman:
+	dh_installman build/man/yamllint.1