[build] final touches on updating deployment to new cloudflare host

This commit is contained in:
Reinier Zwitserloot committed 2023-02-03 03:54:46 +01:00
1 parent dbb7ea00b8
commit 566dfe73ca
10 files changed
+65 -129

No files matched your search

+9 -12
View File
@@ -250,13 +250,16 @@ Turns the changelog at doc/changelog.markdown into
build/website/changelog.html.
> ant website.build
> ant website.pack
> ant website.release-build
> ant website.publish
> ant website.release-publish
'build' Builds the website (by for example applying freemarker templates) into
build/website.
'pack' bzips this up, ready to ship to the server.
'publish' sends this to the server and runs a script to deploy.
'build' Builds the website into build/website, _without_ reflecting a new release; this is
just in case you e.g. edited some documentation.
'publish' deploys this to the server.
'release-build' builds the website _with_ reflecting a new release, updating all-versions,
the download page, updating the javadoc, etc.
'release-ppublic' deploys this to the server.
> ant website.open
@@ -269,14 +272,9 @@ Makes a changelog variant that lists only the newest changes; it is included
in the distribution for convenience.
> ant javadoc.build
> ant javadoc.pack
> ant javadoc.publish
'build' Builds the javadoc into build/api.
'pack' bzips this up, ready to ship to the server.
'publish' sends this to the server and runs a script to deploy.
> ant edge.pack
> ant edge.publish
'pack' creates a bzip with all relevant files needed to deploy a new edge
@@ -285,8 +283,7 @@ maven repo update so that the edge release can be fetched as a maven dep,
and an update to the download-edge page listing the latest changes included
in the edge release.
'publish' sends this to the server, runs a script server-side to deploy the
content, and updates a git tag on success.</echo>
'publish' sends the edge release to projectlombok.org directly.</echo>
</target>
<target name="help.p2">