Description: skipping the build of the 7z archive, which we don't need for a
 Debian build
Author: Sylvestre Ledru <sylvestre@debian.org>
Forwarded: not-needed
Last-Update: 2023-03-14

--- a/make/build.xml
+++ b/make/build.xml
@@ -1304,9 +1304,9 @@
     <copy todir="${javadoc.gluegen.path}/resources" overwrite="true">
         <fileset dir="doc/javadoc/resources" includes="*" />
     </copy>
-    <archive.7z destfile="${build}/javadoc.7z"
+<!--    <archive.7z destfile="${build}/javadoc.7z"
                 basedir="${javadoc.root.path}"
-                includes="gluegen/**" />
+                includes="gluegen/**" />-->
   </target>
 
     <!-- ================================================================== -->
@@ -1354,9 +1354,9 @@
             <fileset dir="lib" includes="junit.jar"/>
         </copy>
 
-        <archive.7z destfile="${build}/${archive.name}.7z"
+<!--        <archive.7z destfile="${build}/${archive.name}.7z"
              basedir="${build}"
-             includes="${archive.name}/**" />
+             includes="${archive.name}/**" />-->
         <!-- Clean up after ourselves -->
         <delete includeEmptyDirs="true" quiet="true" dir="${archive}" failonerror="false" />
     </target>