#!/bin/bash

# Updates and tidies the html files of the documentation.

rm --force *~

../allpages

../contents

for FILE in `ls *.html`
do
  tidy -modify -utf8 -clean -quiet -errors -asxhtml -wrap 150 $FILE
  if [ $? -ne 0 ]
  then
    echo File $FILE is not okay.
  fi
done

