@@ -6,7 +6,7 @@ How to merge the testsuite into your codebase
test2.cvc, you can remove these.
-- Add the following lines to your Makefile:
+- Add the following lines to your Makefile (make sure the lines start with tabs):
###############################################################################
#
Taddeus Kroes