From 3f05dce61a94a6b350bf2f25bf3e733e86ad4e93 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 6 Sep 2010 19:00:10 -0700 Subject: [PATCH] mason: notify server after uploading docs so that docs.factorcode.org can update immediately --- extra/mason/config/config.factor | 17 +++++++++++------ .../{help/help.factor => docs/docs.factor} | 0 2 files changed, 11 insertions(+), 6 deletions(-) rename extra/mason/{help/help.factor => docs/docs.factor} (100%) diff --git a/extra/mason/config/config.factor b/extra/mason/config/config.factor index 9e61b58ef8..1d43386456 100644 --- a/extra/mason/config/config.factor +++ b/extra/mason/config/config.factor @@ -47,18 +47,23 @@ status-url [ "http://builds.factorcode.org/status-update" ] initialize ! Password for status notifications. SYMBOL: status-secret -SYMBOL: upload-help? +SYMBOL: upload-docs? -! The below are only needed if upload-help is true. +! The below are only needed if upload-docs? is true. -! Host with HTML help -SYMBOL: help-host +! Host to upload docs to +SYMBOL: docs-host ! Username to log in. -SYMBOL: help-username +SYMBOL: docs-username ! Directory to upload docs to. -SYMBOL: help-directory +SYMBOL: docs-directory + +! URL to notify server about new docs +SYMBOL: docs-update-url + +docs-update-url [ "http://builds.factorcode.org/docs-update" ] initialize ! Boolean. Do we release binaries and update the clean branch? SYMBOL: upload-to-factorcode? diff --git a/extra/mason/help/help.factor b/extra/mason/docs/docs.factor similarity index 100% rename from extra/mason/help/help.factor rename to extra/mason/docs/docs.factor