#!/bin/sh

articles='index a8111 a821 a822 a823 a826 dio144 dio48 p8r8dio'

rm doc/html/*

for target in $articles; do
	echo -n "make doc - $target.html... "
	w3m -dump_source w3.icpdas.com/reed/pj/ixisa/$target.shtml | sed -n "s/shtml/html/g; w doc/html/$target.html"
	echo 'done'
done
