From 682976a14ac872c0f7c516bdb0d71771cec1f343 Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Fri, 31 Oct 2003 19:39:27 +0000 Subject: [PATCH] Fix outdir rm. --- doc/gendocs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/gendocs.sh b/doc/gendocs.sh index 6233621..886ef3f 100755 --- a/doc/gendocs.sh +++ b/doc/gendocs.sh @@ -138,7 +138,8 @@ fi echo Generating output formats for $srcfile # remove any old junk -rm -rf $outdir/* +rm -f $outdir/*.{gz,ps,pdf,html,txt,xml} +rm -rf $outdir/html_node $outdir/html_node_db echo Generating info files... ${MAKEINFO} -o $PACKAGE.info $srcfile -- 2.11.4.GIT