diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-14 00:07:38 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-14 00:07:38 +0100 |
commit | 84bac506a38900563a938ecc97ec638dda736f02 (patch) | |
tree | e3356804331355cc19920d23598bdb21e7bf9198 /render_locally | |
parent | 02bcc0768865302843ef96183f825a2453dd5d12 (diff) | |
parent | 8f929bde2919c770b1f26397567526626e0683f2 (diff) | |
download | web-84bac506a38900563a938ecc97ec638dda736f02.tar.gz web-84bac506a38900563a938ecc97ec638dda736f02.tar.bz2 web-84bac506a38900563a938ecc97ec638dda736f02.zip |
Merge branch 'homepage'
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.' |