diff options
| author | Brian Paul <[email protected]> | 2006-03-31 23:10:21 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2006-03-31 23:10:21 +0000 |
| commit | e3f41ce611afdd5afef5d0cfa579dbb6890f71fa (patch) | |
| tree | 8415bb5f663f01e39e0298c6a55a97912e4d78a4 /docs/devinfo.html | |
| parent | 3a3e63dc4fc8b34de7e61607d0d69cf3a77255ca (diff) | |
6.5 updates
Diffstat (limited to 'docs/devinfo.html')
| -rw-r--r-- | docs/devinfo.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/devinfo.html b/docs/devinfo.html index 9fcd8cf5358..4d4730be757 100644 --- 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> |