Description: skipping the installation of the manual of extratools, as we
 cannot manage to build it from source; lyx --export pdf2 tools-manual.lyx is
 not working.
Author: Pierre Gruet <pgt@debian.org>
Forwarded: https://github.com/rlabduke/javadev/issues/1
Last-Update: 2022-01-30

--- a/king/build.xml
+++ b/king/build.xml
@@ -214,7 +214,6 @@
     </copy>
     <!-- extra doc files from other top-level projects; some need to be renamed -->
     <copy file="../chiropraxis/doc/tools-manual.pdf" tofile="${dist}/${ant.project.name}-${version}/doc/chiropraxis-manual.pdf"/>
-    <copy file="../extratools/doc/tools-manual.pdf" tofile="${dist}/${ant.project.name}-${version}/doc/extratools-manual.pdf"/>
 </target>
 <!-- }}} -->
 
@@ -240,7 +239,6 @@
     </copy>
     <!-- extra doc files from other top-level projects; some need to be renamed -->
     <copy file="../chiropraxis/doc/tools-manual.pdf" tofile="${dist}/${ant.project.name}-${version}/doc/chiropraxis-manual.pdf"/>
-    <copy file="../extratools/doc/tools-manual.pdf" tofile="${dist}/${ant.project.name}-${version}/doc/extratools-manual.pdf"/>
 </target>
 
 <target name="jpackage-win" depends="init,build,jpackage-base">