diff --git a/doc/export-wiki.sh b/doc/export-wiki.sh index 5e9e21de..716cddb0 100755 --- a/doc/export-wiki.sh +++ b/doc/export-wiki.sh @@ -22,7 +22,7 @@ fi rm -rf "$SRCDIR"/*.html "$SRCDIR"/*.css -wget --non-verbose $SERVER/$WIKI/TitleIndex -O "$SRCDIR"/TitleIndex.tmp +wget -nv $SERVER/$WIKI/TitleIndex -O "$SRCDIR"/TitleIndex.tmp grep "\"/$WIKI/[^\"]*\"" "$SRCDIR"/TitleIndex.tmp \ |sed -e "s#.*\"/$WIKI/\([^\"]*\)\".*#\1#g" \ @@ -33,7 +33,7 @@ sed -e /^Trac/d -e /^Wiki/d -e /^TitleIndex/d -e /^RecentChanges/d \ for A in WikiStart `cat "$SRCDIR"/WikiWords.tmp` do F=`echo $A|sed -e 's/\//_/g'` - wget --non-verbose $SERVER/$WIKI/$A -O "$SRCDIR"/$F.tmp + wget -nv $SERVER/$WIKI/$A -O "$SRCDIR"/$F.tmp xsltproc --nonet --output "$SRCDIR"/$F.html "$SRCDIR"/$XSL "$SRCDIR"/$F.tmp sed -e "s#