diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-23 00:10:09 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-23 00:10:09 +0100 |
| commit | ac4e0e0ad26488f08323e1d37a684e333c800734 (patch) | |
| tree | eade5e6df8fc0ab573f5982d481407a56bf38983 | |
| parent | 6146491464ccbaa80e085d0ea2f5fc0508c56bd8 (diff) | |
Stay on www.gnu.org.
| -rwxr-xr-x | render_locally | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/render_locally b/render_locally index ddd7afc6..c3098d11 100755 --- a/render_locally +++ b/render_locally @@ -15,6 +15,7 @@ case $1 in export DESTDIR && DESTDIR=$ROOT.rendered.official && set x \ --set wikistatedir="$ROOT"/.ikiwiki-official \ + --url http://www.gnu.org/software/hurd \ "$@" && shift;; *) |