diff options
| author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-10-02 15:49:39 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-10-26 00:10:15 +0200 |
| commit | eade3e0736e7e944b4df069f35fe9334819b99c8 (patch) | |
| tree | 619d63a694193230fc0b0cf9f28fb0966b79295b /buildScripts | |
| parent | d4740cb18ce6d844f0c03fa5df06feac42cdfa41 (diff) | |
| download | lombok-eade3e0736e7e944b4df069f35fe9334819b99c8.tar.gz lombok-eade3e0736e7e944b4df069f35fe9334819b99c8.tar.bz2 lombok-eade3e0736e7e944b4df069f35fe9334819b99c8.zip | |
Removed flash-based video player; these days, who needs it, right?
Diffstat (limited to 'buildScripts')
| -rw-r--r-- | buildScripts/website.ant.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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" /> |