diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index 17bdfaadaf..e37ca6ba87 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.8 2001/07/26 21:15:48 gson Exp $
+# $Id: Makefile.in,v 1.9 2001/09/26 23:50:05 gson Exp $
 
 srcdir =	@srcdir@
 VPATH =		@srcdir@
@@ -38,6 +38,7 @@ Bv9ARM.html: Bv9ARM-book.xml nominum-docbook-html.dsl
 	    -t sgml \
 	    -d ./nominum-docbook-html.dsl \
 	    ${XMLDCL} ./Bv9ARM-book.xml
+	rm -f HTML.index HTML.manifest
 
 Bv9ARM-book.rtf: Bv9ARM-book.xml nominum-docbook-print.dsl
 	${OPENJADE} -v \