1 From db0ed6267f1a85f0785c81b8ee396f74795c77c0 Mon Sep 17 00:00:00 2001
2 From: Thomas Gerbet <thomas@gerbet.me>
3 Date: Sat, 27 Nov 2021 10:24:07 +0100
4 Subject: [PATCH] Do not rely on Git during the build
9 2 files changed, 12 deletions(-)
11 diff --git a/build.xml b/build.xml
12 index e8ebaed8..2d26c72f 100644
17 description="Remove almost all files created during the build process">
18 <delete dir="${build.dir}"/>
19 - <exec executable="git">
20 - <arg value="clean"/>
22 - <arg value="--force"/>
23 - <arg value="${doc.dir}"/>
27 <target name="realclean" depends="clean"
28 diff --git a/build.xsl b/build.xsl
29 index fb9f3fef..fa384a27 100644
33 <target name="dummy"/>
35 <mkdir dir="{$build}"/>
36 - <exec executable="git">
37 - <arg value="submodule"/>
38 - <arg value="update"/>
39 - <arg value="--init"/>
40 - <arg value="--recursive"/>
43 <fileset dir="relaxng.org/jclark" includes="**"/>