diff options
| -rwxr-xr-x | render_locally | 4 |
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;; *) |