From c2ecc9d5543a7fc495edbe03ec8cb2e9632dc774 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Thu, 30 Nov 2006 21:25:23 +0000
Subject: [PATCH] Added tags target for building a TAGS file.

---
 src/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 7c13d043c..f6458543f 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -59,7 +59,7 @@ else
   BUILD_JAR=
 endif
 
-.PHONY: all unix jar gfdoc windows install install-gf \
+.PHONY: all unix jar tags gfdoc windows install install-gf \
         temp install-gfdoc install-editor \
         today help clean windows-msi
 
@@ -154,7 +154,8 @@ ghci-trace: ghci
 prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts
 prof: all
 
-
+tags:
+	find GF Transfer -name '*.hs' | xargs hasktags
 
 #
 # Help file