mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-15 01:53:25 -04:00
1741005ef0
Closes: https://bugs.gentoo.org/855470 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
27 lines
1.0 KiB
Diff
27 lines
1.0 KiB
Diff
--- a/make/build.xml
|
|
+++ b/make/build.xml
|
|
@@ -1088,9 +1088,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>
|
|
|
|
<!-- ================================================================== -->
|
|
@@ -1138,9 +1138,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>
|