Revamp d/rules in order to _actually_ build the "user version"

2 files changed, 0 insertions, 22 deletions

diff --git a/debian/patches/0005-Don-t-process-the-entire-source-tree-with-Doxygen.patch b/debian/patches/0005-Don-t-process-the-entire-source-tree-with-Doxygen.patch
deleted file mode 100644
index 4e15991b..00000000
--- a/debian/patches/0005-Don-t-process-the-entire-source-tree-with-Doxygen.patch
+++ /dev/null
@@ -1,21 +0,0 @@
-From: Gard Spreemann <gspr@nonempty.org>
-Date: Fri, 14 Jan 2022 19:28:15 +0100
-Subject: Don't process the entire source tree with Doxygen
-
----
- src/Doxyfile.in | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/src/Doxyfile.in b/src/Doxyfile.in
-index c938635..f5b3555 100644
---- a/src/Doxyfile.in
-+++ b/src/Doxyfile.in
-@@ -778,7 +778,7 @@ WARN_LOGFILE           = doxygen.log
- # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
- # Note: If this tag is empty the current directory is searched.
- 
--INPUT                  = @CMAKE_SOURCE_DIR@
-+INPUT                  =
- 
- # This tag can be used to specify the character encoding of the source files
- # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses
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