diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index e37ca6ba87..59bfc1e6a8 100644
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -13,7 +13,7 @@
 # NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION
 # WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: Makefile.in,v 1.9 2001/09/26 23:50:05 gson Exp $
+# $Id: Makefile.in,v 1.10 2002/02/12 05:38:18 marka Exp $
 
 srcdir =	@srcdir@
 VPATH =		@srcdir@
@@ -26,6 +26,7 @@ MANOBJS = Bv9ARM.html
 distclean::
 	rm -f validate.sh
 	rm -f nominum-docbook-html.dsl nominum-docbook-print.dsl
+	rm -f HTML.index HTML.manifest
 
 doc man:: ${MANOBJS}