diff options
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> |