diff options
Diffstat (limited to 'doc/README')
| -rw-r--r-- | doc/README | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/doc/README b/doc/README deleted file mode 100644 index 333d133943f..00000000000 --- a/doc/README +++ /dev/null @@ -1,17 +0,0 @@ -To edit the website appearance: - -cd doc/web -edit template.html.in -make - -To edit website content: - -cd doc (this directory) -edit files carefully -cd web -make - -To publish changes: - -cd web -make push |