From bf777e3d288dbe773c3009564f8f9fca722ac04b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 14 Mar 2013 14:42:53 +0100 Subject: [PATCH] tags --- .gitignore | 1 + Makefile | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 93849c1f..5fbd0e27 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ _build *.native .session +TAGS diff --git a/Makefile b/Makefile index b346fbc2..68757984 100644 --- a/Makefile +++ b/Makefile @@ -17,5 +17,8 @@ bench: clean: ocamlbuild -clean -.PHONY: all clean tests +tags: + otags *.ml *.mli + +.PHONY: all clean tests tags