jimw            Thu Aug  9 19:58:19 2001 EDT

  Modified files:              
    /phpdoc     README 
  Log:
  clarify
  
Index: phpdoc/README
diff -u phpdoc/README:1.13 phpdoc/README:1.14
--- phpdoc/README:1.13  Thu Aug  9 17:25:51 2001
+++ phpdoc/README       Thu Aug  9 19:58:19 2001
@@ -83,8 +83,8 @@
           If a whitespace change is _really_ needed, do it at least in
           a separate commit, with as comment: 'WS fix' or 'Whitespace fix'.
 
-   12. More on whitespace: Never use spaces, indendation should be going
-       with 1 space at a time.
+   12. More on whitespace: Never use tabs. Indentation should be done
+       with one space character for each level of indentation.
 
 WHAT TO DOCUMENT
    


Reply via email to