diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 09:47:02 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 09:47:02 +0100 |
| commit | 27b23e1f37a5ddb582297bc7a9af7c7ee03dbb7b (patch) | |
| tree | 7c2a73822055eb0976acad55a0881b28cc7b2da2 /contributing | |
| parent | be724d0555d238146929a644ea7d9564e39d956a (diff) | |
contributing/wiki -> contributing/web_pages.
Diffstat (limited to 'contributing')
| -rw-r--r-- | contributing/web_pages.mdwn (renamed from contributing/wiki.mdwn) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contributing/wiki.mdwn b/contributing/web_pages.mdwn index 85851c43..45abeecc 100644 --- a/contributing/wiki.mdwn +++ b/contributing/web_pages.mdwn @@ -126,8 +126,8 @@ You can also locally get the whole wiki rendered to html pages: $ wiki/render_locally [...] - scanning contributing/wiki.mdwn - rendering contributing/wiki.mdwn + scanning contributing/web_pages.mdwn + rendering contributing/web_pages.mdwn Now open `wiki.rendered/index.html' to browse the wiki pages. |