#!/bin/sh
(cd noweb; make clean)
