6.5 updates

2006-03-31 23:10:21 +00:00
parent 3a3e63dc4f
commit e3f41ce611
4 changed files with 59 additions and 6 deletions
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -83,7 +83,7 @@ Brace example:
 Here's the GNU indent command which will best approximate my preferred style:
 </p>
 <pre>
-	indent -br -i3 -npcs infile.c -o outfile.c
+	indent -br -i3 -npcs --no-tabs infile.c -o outfile.c
 </pre>


@@ -145,7 +145,7 @@ DEMO_NAME are correct.
 </p>

 <p>
-Update the docs/news.html file and docs/contents.html files.
+Update the docs/news.html file and docs/download.html files.
 </p>

 <p>