summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xrender_locally4
1 files changed, 3 insertions, 1 deletions
diff --git a/render_locally b/render_locally
index c3098d11..29ab828b 100755
--- a/render_locally
+++ b/render_locally
@@ -9,13 +9,15 @@ export ROOT && ROOT=$(readlink -f "$(dirname "$0")") &&
case $1 in
--official)
# Use this for rendering the set of pages which are to be installed under
- # <http://www.gnu.org/software/hurd/>.
+ # <http://www.gnu.org/software/hurd/>. Use ``--no-usedirs'' here, so that
+ # not too many separate directories have to be created.
shift &&
export TZ && TZ=UTC &&
export DESTDIR && DESTDIR=$ROOT.rendered.official &&
set x \
--set wikistatedir="$ROOT"/.ikiwiki-official \
--url http://www.gnu.org/software/hurd \
+ --no-usedirs \
"$@" &&
shift;;
*)