Replace dashes in tag names with dots, so we get v0.48 et.c.

Makefile

@@ -153,9 +153,10 @@ stamp/99: stamp/98 clone
 	./clone $< $@
 	touch $@
 
-stamp/final: stamp/99 untag
+stamp/final: stamp/99 untag renametag
 	./clone $< $@
 	./untag
+	./renametag
 	touch $@
 
 stamp/fromcvs-%: stamp/cvsroot-fixed cvs-branch

renametag

+#!/bin/sh
+
+set -e
+
+cd final.git
+git tag -l |
+while read tag
+do
+    git tag `echo $tag|sed s/-/./g` $tag || exit 1
+    git tag -d $tag || exit 1
+done