#!/bin/sh
#
# 3.7.2006

./make_awk_doku.py && cp awk.html .. && tidy -utf8 -e awk.html