#!/bin/sh
(cd manual; sh clean.sh)
syntax highlighted by
Code2HTML
, v. 0.9.1