better EGA colors

.gitignore

@@ -6,6 +6,8 @@ datas/*.xcf
 datas/*.ttf
 datas/*.jpg
 datas/*.webp
+!datas/README.md
+!datas/ega-16colors.png
 
 WS/*timing
 WS/log*

tools/build-ega-mp4.sh

@@ -24,10 +24,10 @@ do
 	# echo $source "==>" $destname
 
 	convert	$source					\
-		-normalize				\
-		-resize   '640x350!' 			\
+		-equalize				\
 		-dither   none				\
-		-remap    datas/ega-colors.png		\
+		-resize   '640x350!' 			\
+		-remap    datas/ega-16colors.png		\
 		$destname
 
 done

tools/build-gif89a.sh

@@ -16,11 +16,11 @@ GIF="t-$SEQ.gif"
 echo "seq $SEQ -> $GIF" | tee -a WS/log
 
 convert						\
-	-delay 8				\
+	-delay 6				\
 	-dither none				\
-	-resize '320x200!'			\
-	-normalize				\
-	-remap datas/ega-colors.png		\
+	-equalize				\
+	-resize '320x240!'			\
+	-remap datas/ega-16colors.png		\
 	frames/$SEQ/?[012]*[369].png		\
 	$GIF