distclean should remove HTML.index HTML.manifest

diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index e37ca6ba87d5b828a689c6e15c556045a0551f6a..59bfc1e6a869984d3925374d5f05e201b4d67067 100644 (file)
--- 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}