#!/bin/bash

# Updates and tidies the html files of the documentation.

rm --force *~

./allpages

./contents

