1 files changed, 2 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 0a0647bb5..5812774d9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -106,3 +106,5 @@ update		- updates the tree from master repository
 commit		- commits the change, asking for a commit msg
 
 push		- sends outgoing stuff to master repository
+
+checkemacs	- checks codingstyle and reports to emacs