diff -r 9d0f18677fec -r 9e1b9eb8813f mktag
--- a/mktag	Fri Mar 13 10:44:57 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-#! /bin/bash
-
-tmp=$(getopt -n $0 -o f --long force -- "$@")
-eval set -- $tmp
-while true; do
-	o="$1"; shift
-	case "$o" in
-		--)		break;;
-		-f|--force)	o_force="-f";;
-	esac
-done
-
-
-tag="${1?}"
-
-id=$(hg id)
-id=${id%% *}
-
-case "$id" in
-	*+)	echo "sorry, local version is modified." >&2
-		exit 1
-		;;
-esac
-
-case "$tag" in
-	v*.*)	;;
-	*)	echo "sorry, tag should be v*.*" >&2
-		exit 1
-		;;
-esac
-
-hg tag $o_force "$tag" \
-&& old=$(hg id -i) \
-&& hg up -r "$tag" \
-&& make clean all \
-&& hg up -r "$old"