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"/>