--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/encoding.sh	Sat Mar 17 02:40:40 2007 +0100
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+# Tio ĉi prenas la originalajn dosierojn kaj ilin rekodigas al UTF-8 kaj
+# al uniksa liniofina stilo.
+
+
+if [ $# -ne 2 ] ; then
+	echo usage: $0 ORIGIN DEST
+	exit 1
+fi
+
+ORIGINDIR=$1
+DESTDIR=$2
+
+mkdir -p $DESTDIR
+
+for a in `seq 1 60000`; do
+	echo -n "$a ";
+	ORIGIN=$ORIGINDIR/diego$a.html
+	DEST=$DESTDIR/diego$a.html
+	if [ ! -f $ORIGIN ]; then
+		break ;
+	fi;
+
+	cat $ORIGIN | dos2unix | recode latin1..utf-8 > $DEST
+done