Removed flash-based video player; these days, who needs it, right?

This commit is contained in:
Reinier Zwitserloot committed 2017-10-26 00:10:15 +02:00
1 parent d4740cb18c
commit eade3e0736
5 files changed
+12 -30

No files matched your search

+1 -1
View File
@@ -199,7 +199,7 @@ such as applying the templates to produce the website, converting the changelog
trust="true" command="/data/lombok/stagingCmd/deployEdge" />
</target>
<target name="javadoc" description="Generates the javadoc" depends="-ensure-version, -ensure-fullversion">
<target name="javadoc" description="Generates the javadoc" depends="-ensure-version, -ensure-fullversion" unless="skip.javadoc">
<delete dir="build/api" quiet="true" />
<delete dir="doc/api" quiet="true" />
<mkdir dir="build/api" />