Skip source and manuals for nightly builds

.travis.yml

@@ -8,7 +8,7 @@ addons:
 script:
   - ant testci
 before_deploy:
-  - ant dist -Dnightly.version=true
+  - ant dist -Dnightly.version=true -Dskip.dist.source=true -Dskip.manual=true
 deploy:
   provider: releases
   skip_cleanup: true

build.xml

@@ -282,7 +282,8 @@
         </condition>
     </target>
 
-    <target name="prepareManual" depends="initDist,print-manuals">
+    <target name="prepareManual" depends="initDist,print-manuals"
+            unless="skip.manual">
         <mkdir dir="${freecol.release.dir}/manual/${freecol.name}"/>
         <copy todir="${freecol.release.dir}/manual/${freecol.name}">
             <fileset dir="${freecol.doc.dir}" includes="FreeCol.pdf"/>