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