# HG changeset patch
# User diego
# Date 1117981054 0
# Node ID 65a8ce32e9f14ede474c9d33027dc7a51c2c3976
# Parent  d48f3ae96eff1202bdce42e65be2e91d18b26d8a
Days should be two digits.

diff -r d48f3ae96eff -r 65a8ce32e9f1 version.sh
--- a/version.sh	Sun Jun 05 11:57:27 2005 +0000
+++ b/version.sh	Sun Jun 05 14:17:34 2005 +0000
@@ -22,7 +22,7 @@
 	year=`echo $LS | cut -d' ' -f9 | cut -c 3-4`
 	month=`echo $LS | awk -F" " '{printf "%.2d", \
 		(index("JanFebMarAprMayJunJulAugSepOctNovDec",$6)+2)/3}'`
-	day=`echo $LS | cut -d' ' -f7`
+	day=`printf %.2d \` echo $LS | cut -d' ' -f7 \` `
 	hour=`echo $LS | cut -d' ' -f8 | cut -d: -f1`
 	minute=`echo $LS | cut -d' ' -f8 | cut -d: -f2`
 	last_cvs_update="${year}${month}${day}-${hour}:${minute}"