From 206d984d98fa973c18d9f604f31e8c20b07c1628 Mon Sep 17 00:00:00 2001 From: Henning Geinitz Date: Tue, 19 Feb 2002 20:45:53 +0000 Subject: [PATCH] Remove sanei-html in make distclean. Henning Meier-Geinitz --- doc/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index dafa7d44b..946c9ba71 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -205,7 +205,7 @@ distclean: clean rm -f *.lot *.lof *.ind *.gz rm -f sane.dvi sane.ps sane-backends.html rm -f sane/*.html sane/*.gif - -rm -rf sane + -rm -rf sane sanei-html for manpage in $(MANPAGES) ; do \ rm -f $${manpage}.html ; \ done