diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-08-17 21:47:35 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-08-19 11:14:25 +0200 |
commit | 07cdae61d128d9aea822554ee080509524cdafdd (patch) | |
tree | ea7b2d8940d39783f68a344a3e9b51fb8a76c170 /debian/patches/series | |
parent | 83136baa4513e43572e19982bbcfbb4363bcf038 (diff) |
Revamp d/rules in order to _actually_ build the "user version"
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index 5c95e702..c3448dab 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,5 +2,4 @@ 0002-Use-system-MathJax.patch 0003-Offline-header-for-docs.patch 0004-Disable-Sphinx.patch -0005-Don-t-process-the-entire-source-tree-with-Doxygen.patch 0006-CGAL-5.5-compatibility.patch |