diff options
-rw-r--r-- | debian/patches/debian/0001-google-analytics.patch (renamed from debian/patches/0001-remove-sphinxcontrib.googleanalytics.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0002-html-output.patch (renamed from debian/patches/0002-enable-Sphinx-html_copy_source.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0003-python-shebang.patch (renamed from debian/patches/0003-Use-python3-shebang-on-examples.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0004-quiet-stdout.patch (renamed from debian/patches/0004-Avoid-writing-bytes-to-stdout.patch) | 0 | ||||
-rw-r--r-- | debian/patches/series | 8 |
5 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/0001-remove-sphinxcontrib.googleanalytics.patch b/debian/patches/debian/0001-google-analytics.patch index 9efaacd..9efaacd 100644 --- a/debian/patches/0001-remove-sphinxcontrib.googleanalytics.patch +++ b/debian/patches/debian/0001-google-analytics.patch diff --git a/debian/patches/0002-enable-Sphinx-html_copy_source.patch b/debian/patches/debian/0002-html-output.patch index e703d32..e703d32 100644 --- a/debian/patches/0002-enable-Sphinx-html_copy_source.patch +++ b/debian/patches/debian/0002-html-output.patch diff --git a/debian/patches/0003-Use-python3-shebang-on-examples.patch b/debian/patches/debian/0003-python-shebang.patch index 8805031..8805031 100644 --- a/debian/patches/0003-Use-python3-shebang-on-examples.patch +++ b/debian/patches/debian/0003-python-shebang.patch diff --git a/debian/patches/0004-Avoid-writing-bytes-to-stdout.patch b/debian/patches/debian/0004-quiet-stdout.patch index cf36463..cf36463 100644 --- a/debian/patches/0004-Avoid-writing-bytes-to-stdout.patch +++ b/debian/patches/debian/0004-quiet-stdout.patch diff --git a/debian/patches/series b/debian/patches/series index 62e718a..00072e4 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,4 @@ -0001-remove-sphinxcontrib.googleanalytics.patch -0002-enable-Sphinx-html_copy_source.patch -0003-Use-python3-shebang-on-examples.patch -0004-Avoid-writing-bytes-to-stdout.patch +debian/0001-google-analytics.patch +debian/0002-html-output.patch +debian/0003-python-shebang.patch +debian/0004-quiet-stdout.patch |