From c5562073cd3d46b4e2083a06e35ff91b2b1f9daf Mon Sep 17 00:00:00 2001 From: Martin Goik <goik@hdm-stuttgart.de> Date: Sun, 27 Nov 2016 21:59:34 +0100 Subject: [PATCH] .jar files will not be published --- Doc/Sd1/Ref/Src/{address-0.9.jar => address.zip} | Bin Doc/Sd1/appendix.xml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename Doc/Sd1/Ref/Src/{address-0.9.jar => address.zip} (100%) diff --git a/Doc/Sd1/Ref/Src/address-0.9.jar b/Doc/Sd1/Ref/Src/address.zip similarity index 100% rename from Doc/Sd1/Ref/Src/address-0.9.jar rename to Doc/Sd1/Ref/Src/address.zip diff --git a/Doc/Sd1/appendix.xml b/Doc/Sd1/appendix.xml index 377cd34e2..21d090368 100644 --- a/Doc/Sd1/appendix.xml +++ b/Doc/Sd1/appendix.xml @@ -314,7 +314,7 @@ <title>An address database</title> <para>Consider executing <command>java</command> <option>-jar <link - xlink:href="/Sd1/Ref/Src/address-0.9.jar">Sd1/Ref/Src/address-0.9.jar</link></option>:</para> + xlink:href="address.zip">/Sd1/Ref/Src/address.zip</link></option>:</para> <programlisting language="none">Current person records: -- GitLab