/debian/patches/debian/
../
0001-google-analytics.patch
0002-html-output.patch
0003-python-shebang.patch
0004-quiet-stdout.patch
0005-sphinx-meta.patch
0006-sphinx-extlinks.patch