diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 11:02:28 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 11:06:07 +0100 |
| commit | 8ec282ed60ae9f4b4462f6452d455f0850197993 (patch) | |
| tree | 668ea8a64d14a877a1250dacb8c9856486b9777e /render_locally | |
| parent | 3e4d6668e36b252069b452259ac4a82279484dae (diff) | |
This is no longer only a wiki, but will be the official pages.
Diffstat (limited to 'render_locally')
| -rwxr-xr-x | render_locally | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/render_locally b/render_locally index 67c96fdb..e1c27748 100755 --- a/render_locally +++ b/render_locally @@ -15,7 +15,7 @@ dest=$src.rendered && ikiwiki \ --verbose \ - --wikiname GNU\ Hurd\ wiki \ + --wikiname GNU\ Hurd \ --templatedir "$src"/.templates \ --userdir user \ --no-usedirs \ @@ -33,4 +33,4 @@ ikiwiki \ "$src" "$dest" && echo && -echo Now\ open\ \`"$dest"/index.html\'' to browse the wiki pages.' +echo Now\ open\ \`"$dest"/index.html\'' to browse the web pages.' |