Index: Makefile
--- Makefile.orig	2008-01-18 16:46:16 +0100
+++ Makefile	2008-01-19 09:53:00 +0100
@@ -330,7 +330,6 @@
 .PHONY: tags
 
 tags:
-	-$(ETAGS) *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt
 
 all:: TAGS