From eade3e0736e7e944b4df069f35fe9334819b99c8 Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@zwitserloot.com>
Date: Mon, 2 Oct 2017 15:49:39 +0200
Subject: Removed flash-based video player; these days, who needs it, right?

---
 buildScripts/website.ant.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'buildScripts')

diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml
index ed42d760..4b61ee02 100644
--- a/buildScripts/website.ant.xml
+++ b/buildScripts/website.ant.xml
@@ -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" />
-- 
cgit