Show
Ignore:
Timestamp:
05/04/07 07:12:51 (21 months ago)
Author:
aj
Message:

fix wiki to html extraction.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • releases/opensc-0.11.2/doc/export-wiki.sh

    r2817 r3165  
    2525wget -nv $SERVER/$WIKI/TitleIndex -O "$SRCDIR"/TitleIndex.tmp 
    2626 
    27 grep "\"/$WIKI/[^\"]*\"" "$SRCDIR"/TitleIndex.tmp \ 
     27sed -e "s#</li>#</li>\n#g" < "$SRCDIR"/TitleIndex.tmp \ 
     28        | grep "\"/$WIKI/[^\"]*\"" \ 
    2829        |sed -e "s#.*\"/$WIKI/\([^\"]*\)\".*#\1#g" \ 
    2930        > "$SRCDIR"/WikiWords.tmp