Changeset 19
- Timestamp:
- 09/14/05 11:50:49 (3 years ago)
- Files:
-
- 1 modified
-
trunk/doc/export-wiki.sh (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/doc/export-wiki.sh
r6 r19 23 23 rm -rf "$SRCDIR"/*.html "$SRCDIR"/*.css 24 24 25 wget - -non-verbose$SERVER/$WIKI/TitleIndex -O "$SRCDIR"/TitleIndex.tmp25 wget -nv $SERVER/$WIKI/TitleIndex -O "$SRCDIR"/TitleIndex.tmp 26 26 27 27 grep "\"/$WIKI/[^\"]*\"" "$SRCDIR"/TitleIndex.tmp \ … … 34 34 do 35 35 F=`echo $A|sed -e 's/\//_/g'` 36 wget - -non-verbose$SERVER/$WIKI/$A -O "$SRCDIR"/$F.tmp36 wget -nv $SERVER/$WIKI/$A -O "$SRCDIR"/$F.tmp 37 37 xsltproc --output "$SRCDIR"/$F.html "$SRCDIR"/$XSL "$SRCDIR"/$F.tmp 38 38 sed -e "s#<a href=\"/$WIKI/\([^\"]*\)\"#<a href=\"\1.html\"#g" \ … … 42 42 mv "$SRCDIR"/WikiStart.html "$SRCDIR"/index.html 43 43 44 wget - -non-verbosehttp://www.opensc.org/trac/css/trac.css \44 wget -nv http://www.opensc.org/trac/css/trac.css \ 45 45 -O "$SRCDIR"/trac.css 46 46
