Michael Banck 2a118588e7 * debian/patches/fix-sphinx-build.patch: New patch, fixes building with ... latest sphinx, taken from upstream pull request #2080.		2021-10-07 11:15:16 +02:00
debian	* debian/patches/fix-sphinx-build.patch: New patch, fixes building with	2021-10-07 11:15:16 +02:00