aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xmake-gif2
1 files changed, 1 insertions, 1 deletions
diff --git a/make-gif b/make-gif
index 3d77d1a..7aa845e 100755
--- a/make-gif
+++ b/make-gif
@@ -56,7 +56,7 @@ local colour_count=256
local rect=""
local timepat='^(([0-9][0-9]:){1,2}[0-9][0-9]|[0-9]+)(\.[0-9]+){0,1}$'
-local numpat='^[1-9][0-9]*(\.[0-9]+){0,1}$'
+local numpat='^([1-9][0-9]*(\.[0-9]+){0,1}|0\.[0-9]*[1-9])$'
local intpat='^[1-9][0-9]*$'
local zintpat='^[0-9]+$'
local dithpat='^(bayer[0-5]|heckbert|floyd_steinberg|sierra2|sierra2_4a)$'