From 9e7a5b8a0628331aaf9737cd8825093d2a2a43cc Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 23 Nov 2008 00:57:41 +0100 Subject: When creating the official pages, use ``--no-usedirs'', so that not too many separate directories have to be created. --- render_locally | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 - # . + # . 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;; *) -- cgit v1.2.3