From 15ea00a3271ab0b224db724a885188bf99a06a3c Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 10 Oct 2008 01:44:40 +0000 Subject: [PATCH] rename that pesky tags target --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index beb0508b9..ce43c97c4 100644 --- a/Makefile +++ b/Makefile @@ -4,7 +4,7 @@ BUILDPROF=$(BUILD) -prof -auto-all PROFILE=./hledger -s balance +RTS -p TIME=`date +"%Y%m%d%H%M"` -build: Tags +build: tag $(BUILD) buildopt opt: clean @@ -99,7 +99,7 @@ clean-docs: # misc -Tags: +tag: rm -f TAGS; hasktags -e *hs Ledger/*hs clean: