build.xml
changeset 129 36c2e2bc2eb4
parent 123 c1999d6bc76a
child 130 94339837c42d
equal deleted inserted replaced
128:7493856248e1 129:36c2e2bc2eb4
   138 		<exec executable="x-www-browser" os="Linux">
   138 		<exec executable="x-www-browser" os="Linux">
   139 			<arg value="${výstup}/index${výstupníPřípona}"/>
   139 			<arg value="${výstup}/index${výstupníPřípona}"/>
   140 		</exec>
   140 		</exec>
   141 	</target>
   141 	</target>
   142 
   142 
       
   143 	<target name="publikuj" description="Nahraje výstup na server pomocí uživatelského skriptu.">
       
   144 		<exec executable="skripty/_publikuj.sh" os="Linux"/>
       
   145 	</target>
       
   146 
   143 	<target name="dokumentace" description="Sestaví dokumentaci">
   147 	<target name="dokumentace" description="Sestaví dokumentaci">
   144 		<javadoc destdir="dokumentace/javadoc" linksource="true" windowtitle="XML Web generátor – javadoc">
   148 		<javadoc destdir="dokumentace/javadoc" linksource="true" windowtitle="XML Web generátor – javadoc">
   145 			<fileset dir="šablona/funkce/src"/>
   149 			<fileset dir="šablona/funkce/src"/>
   146 		</javadoc>
   150 		</javadoc>
   147 	</target>
   151 	</target>