-grafiteParser.cmi:
-print_grammar.cmi: grafiteParser.cmi
-grafiteParser.cmo: grafiteParser.cmi
-grafiteParser.cmx: grafiteParser.cmi
-print_grammar.cmo: print_grammar.cmi
-print_grammar.cmx: print_grammar.cmi
+grafiteParser.cmi :
+print_grammar.cmi : grafiteParser.cmi
+grafiteParser.cmo : grafiteParser.cmi
+grafiteParser.cmx : grafiteParser.cmi
+print_grammar.cmo : print_grammar.cmi
+print_grammar.cmx : print_grammar.cmi