Index: INSTALL
===================================================================
--- INSTALL	(revision 10430)
+++ INSTALL	(revision 10642)
@@ -175,3 +175,4 @@
     * --enable-profiling=yes - for profiling with gprof
     * --enable-logcolors=yes - for colorful logging output
-    * --enable-doxygen=yes - for generating doxygen documentation (do a make html-local in ariba/docu/doxygen) 
+    * --enable-doxygen=yes - for generating doxygen documentation (do a make html-local in ariba/docu/doxygen)
+