6.5 updates
diff --git a/docs/devinfo.html b/docs/devinfo.html
index 9fcd8cf..4d4730b 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -83,7 +83,7 @@
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 @@
</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>