Updated html and word versions of the manual

[splint.git] / src / maketags

diff --git a/src/maketags b/src/maketags
index 100b599f2aab7c25de970efa9bdbae4c1cf69aee..beab1b086375d1522c1fcb56e2c3171852d914f2 100755 (executable)
--- a/src/maketags
+++ b/src/maketags
@@ -1,4 +1,4 @@
 #!/bin/sh
 
-etags --langmap=c:+.i.h *.y Headers/* *.c *.h *.l  *.i || etags *.y Headers/* *.c *.h *.l  *.i;
+etags *.y  *.l *.c *.i Headers/* || echo "Error creating TAGS file (ignoring)"