diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-11-30 21:25:23 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-11-30 21:25:23 +0000 |
| commit | c2ecc9d5543a7fc495edbe03ec8cb2e9632dc774 (patch) | |
| tree | 1b3433c1826b27dee9d010a0924833e379bf8595 /src/Makefile | |
| parent | 0c5f2c12880d339e51e5133c61216f233d5a9a7b (diff) | |
Added tags target for building a TAGS file.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files 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 |