diff index.html @ 2357:5a0c2bf69e55

Add new command "make cleanup-style"
author Volker Grabsch <vog@notjusthosting.com>
date Thu, 29 Mar 2012 13:00:17 +0200
parents c15638fca657
children e38f588e4f82
line wrap: on
line diff
--- a/index.html	Thu Mar 29 12:27:58 2012 +0200
+++ b/index.html	Thu Mar 29 13:00:17 2012 +0200
@@ -862,6 +862,14 @@
         download the new versions and note their checksums
         </dd>
 
+    <dt>make cleanup-style</dt>
+
+        <dd>
+        for internal use only!
+        &ndash;
+        cleanup coding style
+        </dd>
+
     </dl>
 </div>