# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1647471919 -3600
# Node ID 74418add5981afc4654bc8dfbd352c81679c03be
# Parent  d647c05b386afbe9fefefb78a1970d922e9c1338
Added support for generating documentation.

diff -r d647c05b386a -r 74418add5981 debian/compat
--- a/debian/compat	Mon Feb 28 19:29:00 2022 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-10
diff -r d647c05b386a -r 74418add5981 debian/control
--- a/debian/control	Mon Feb 28 19:29:00 2022 +0100
+++ b/debian/control	Thu Mar 17 00:05:19 2022 +0100
@@ -3,21 +3,25 @@
 Priority: optional
 Maintainer: Paul Boddie <paul@boddie.org.uk>
 Build-Depends:
- debhelper (>= 10),
+ debhelper-compat (= 13),
  dh-python,
  python3-all,
  python3-setuptools,
  python3-flask,
- python3-nose
+ python3-nose,
+ python3-docutils,
+ python3-sphinx
 Standards-Version: 3.9.8
 X-Python3-Version: >= 3.7
 Homepage: https://github.com/liuliqiang/flask-theme
+Testsuite: autopkgtest-pkg-python
 
 Package: python3-flask-theme
 Architecture: all
 Depends:
  python3-flask,
  ${misc:Depends},
- ${python3:Depends}
+ ${python3:Depends},
+ ${sphinxdoc:Depends}
 Description: Infrastructure for theming Flask applications
  Flask-Theme is an extension to Flask that adds theming support.
diff -r d647c05b386a -r 74418add5981 debian/docs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/docs	Thu Mar 17 00:05:19 2022 +0100
@@ -0,0 +1,2 @@
+build/html
+build/man
diff -r d647c05b386a -r 74418add5981 debian/rules
--- a/debian/rules	Mon Feb 28 19:29:00 2022 +0100
+++ b/debian/rules	Thu Mar 17 00:05:19 2022 +0100
@@ -3,4 +3,11 @@
 export PYBUILD_NAME=flask-theme
 
 %:
-	dh $@ --with python3 --buildsystem pybuild
+	dh $@ --with python3,sphinxdoc --buildsystem pybuild
+
+override_dh_auto_build: export http_proxy=127.0.0.1:9
+override_dh_auto_build: export https_proxy=127.0.0.1:9
+override_dh_auto_build:
+	dh_auto_build
+	PYTHONPATH=. python3 -m sphinx -N -bhtml -d _doctrees docs build/html
+	PYTHONPATH=. python3 -m sphinx -N -bman -d _doctrees docs build/man