#!/bin/sh
-# Remove directories which are known to be generated for output only.
-rm -rf html/
+. ../find-gnumake.sh
+find_gnumake
+$GNUMAKE clean
-# Remove files whose suffixes indicate that they're generated (e.g.
-# HTML or PostScript) not source (DocBook/SGML, build scripts, etc.).
-find . \( \
- -name '*.htm' -o \
- -name '*.html' \) -print | xargs rm -f
+(cd manual; sh clean.sh)