diff --git a/src/Makefile.am b/src/Makefile.am
index 9edb71d19a2858c833b020513029083193a678c4..5ca400e251dd3ab7b1a05b86a3bce0ae18dbf017 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -9,12 +9,14 @@ CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
 
 datadir = $(libdir)
 
-.vo.v:
+.v.vo:
 	@echo COQC $<
 	@$(COQC) $(COQRFLAG) $<
 
-.vd.v:
+.v.vd:
 	@echo COQDEP $<
 	@$(COQDEP) -I . $< > $@
 
+SUFFIXES = .v .vo .vd
+
 -include $(FILES:=d)