diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-23 00:57:41 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-23 00:57:41 +0100 |
| commit | 9e7a5b8a0628331aaf9737cd8825093d2a2a43cc (patch) | |
| tree | 6472b33bf68c2081a0ca265b0dd365d1e62cb900 | |
| parent | 59d93ca765b359644d562f24f158f7e287678cb4 (diff) | |
When creating the official pages, use ``--no-usedirs'', so that not too many
separate directories have to be created.
| -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;; *) |