summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-23 11:08:43 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-23 11:08:43 +0100
commit749c26f2b5c6e0230d63e166b1a698699c0f2bfc (patch)
treee3921b49e4d1da971c26ee25c1e3e75488612e39
parent4c3a12489e6b24d1f09c7cf63752dff03cb5919f (diff)
Incorporate text from <http://lists.gnu.org/archive/html/bug-hurd/2008-11/msg00212.html> and extend a bit.
-rw-r--r--contributing/web_pages.mdwn10
1 files changed, 10 insertions, 0 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index 0cf55baf..5796d56e 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -32,6 +32,16 @@ we do have some simple requests. Please try to match the *tone* of your topics
and edits with the existing topics. If we all pull in the same direction these
pages will be more useful for everyone, especially for our own use.
+When you commit changes, either using the web interface or checking them in
+into the repository, they'll not become visible on
+<http://www.gnu.org/software/hurd/> immediatelly, but first of all only on
+<http://www.bddebian.com:8888/~hurd-web/> instead. The former set of pages,
+the official GNU Hurd web appearance, will be updated periodically (but
+manually) from the latter one, where every edit is visible immediatelly. This
+is so that we have a chance to have the pages make fit for appearance on
+`www.gnu.org`, but you are nevertheless able to work on all pages
+unrestrictedly.
+
# Edit Via the Web Interface