build.xml
changeset 129 36c2e2bc2eb4
parent 123 c1999d6bc76a
child 130 94339837c42d
--- a/build.xml	Mon Jul 01 17:51:42 2013 +0200
+++ b/build.xml	Thu Aug 08 14:48:28 2013 +0200
@@ -140,6 +140,10 @@
 		</exec>
 	</target>
 
+	<target name="publikuj" description="Nahraje výstup na server pomocí uživatelského skriptu.">
+		<exec executable="skripty/_publikuj.sh" os="Linux"/>
+	</target>
+
 	<target name="dokumentace" description="Sestaví dokumentaci">
 		<javadoc destdir="dokumentace/javadoc" linksource="true" windowtitle="XML Web generátor – javadoc">
 			<fileset dir="šablona/funkce/src"/>