mirror of
https://github.com/tiennm99/lombok.git
synced 2026-10-14 10:18:46 +00:00
Added a script that publishes the website dir to github via some crazy git fu.
Also stripped out how javadoc generated a comment with a timestamp, as to publish to github, we check in the files, which generates pointless and enormous changesets.
This commit is contained in:
1 parent
99b3ec87b0
commit
c50e4c2ed6
2 files changed
+51
-3
No files matched your search
@@ -58,6 +58,7 @@
|
||||
<exclude name="**/*.svg" />
|
||||
<exclude name="**/*.psd" />
|
||||
<exclude name="**/*.ai" />
|
||||
<exclude name="**/publish" />
|
||||
<exclude name="**/*unused*" />
|
||||
</fileset>
|
||||
</copy>
|
||||
@@ -67,6 +68,7 @@
|
||||
<antcall target="-integrateSnippet">
|
||||
<param name="transformationName" value="Data" />
|
||||
</antcall>
|
||||
<mkdir dir="dist" />
|
||||
<zip destfile="dist/website.zip">
|
||||
<zipfileset dir="build/website" />
|
||||
<zipfileset dir="doc/api" prefix="api" />
|
||||
@@ -169,14 +171,27 @@
|
||||
</target>
|
||||
|
||||
<target name="javadoc">
|
||||
<delete dir="build/api" quiet="true" />
|
||||
<delete dir="doc/api" quiet="true" />
|
||||
<mkdir dir="doc/api" />
|
||||
<javadoc sourcepath="src" defaultexcludes="yes" destdir="doc/api" windowtitle="Lombok">
|
||||
<mkdir dir="build/api" />
|
||||
<javadoc sourcepath="src" defaultexcludes="yes" destdir="build/api" windowtitle="Lombok">
|
||||
<classpath refid="lombok.deps.path" />
|
||||
<classpath refid="lombok.libs.path" />
|
||||
<link href="http://java.sun.com/javase/6/docs/api/" offline="true" packagelistLoc="./deps/javadoc/java6"/>
|
||||
<bottom><![CDATA[<i>Copyright © 2009 Reinier Zwitserloot and Roel Spilker. See LICENCE for more information.]]></bottom>
|
||||
<bottom><![CDATA[<i>Copyright © 2009 Reinier Zwitserloot and Roel Spilker, licensed under the <a href="http://www.opensource.org/licenses/mit-license.php">MIT licence</a>.]]></bottom>
|
||||
</javadoc>
|
||||
<mkdir dir="doc/api" />
|
||||
<copy todir="doc/api">
|
||||
<fileset dir="build/api" includes="**/*.html" />
|
||||
<filterchain>
|
||||
<linecontains negate="true">
|
||||
<contains value="Generated by javadoc" />
|
||||
</linecontains>
|
||||
</filterchain>
|
||||
</copy>
|
||||
<copy todir="doc/api">
|
||||
<fileset dir="build/api" excludes="**/*.html" />
|
||||
</copy>
|
||||
</target>
|
||||
|
||||
<target name="dist" depends="clean, compile, getVersion, unpackLibs">
|
||||
|
||||
Executable
+33
@@ -0,0 +1,33 @@
|
||||
#!/bin/bash
|
||||
|
||||
CURDIR=`pwd`
|
||||
|
||||
|
||||
cd `dirname $0` || exit
|
||||
cd .. || exit
|
||||
|
||||
if [ ! -e dist/website.zip ]; then
|
||||
echo There is no dist/website.zip file! Run:
|
||||
echo ant website
|
||||
echo then restart this script
|
||||
exit
|
||||
fi
|
||||
|
||||
mkdir -p build/temp || exit
|
||||
cd build/temp || exit
|
||||
git clone -l -n ../.. websitegit || exit
|
||||
cd websitegit || exit
|
||||
git branch gh-pages origin/gh-pages || exit
|
||||
git checkout gh-pages || exit
|
||||
rm -r * || exit
|
||||
unzip ../../../dist/website.zip || exit
|
||||
git add . || exit
|
||||
git commit -a -m website || exit
|
||||
git push origin gh-pages || exit
|
||||
cd .. || exit
|
||||
rm -rf websitegit || exit
|
||||
|
||||
cd "$CURDIR"
|
||||
|
||||
echo Your gh-pages branch has been updated. Do not forget to run:
|
||||
echo git push origin gh-pages
|
||||
Reference in new issue
Block a user