From 61b4af34051309c705ef9191b1ed2ebc71ceba29 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Wed, 21 Jan 2009 17:12:12 +0000
Subject: [PATCH] Fixed automake warning. Cleaned glob files.

---
 src/Makefile.am | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 1762402..9edb71d 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -5,15 +5,15 @@ FILES = \
 
 data_DATA = $(FILES:=o)
 EXTRA_DIST = $(FILES)
-CLEANFILES = $(FILES:=o) $(FILES:=d)
+CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
 
 datadir = $(libdir)
 
-%.vo: %.v
+.vo.v:
 	@echo COQC $<
 	@$(COQC) $(COQRFLAG) $<
 
-%.vd: %.v
+.vd.v:
 	@echo COQDEP $<
 	@$(COQDEP) -I . $< > $@
 
-- 
GitLab