diff --git a/build.xml b/build.xml index 3464b8f5..0291a29b 100644 --- a/build.xml +++ b/build.xml @@ -79,6 +79,7 @@ + If you want to publish the website to the web, run the website/publish script.