Artifact ca8c79cce73d1aa0c5de243371ae6633ce43446a:
- File remove_carets.sh — part of check-in [b12665db54] at 2011-05-11 20:53:45 on branch trunk — Improvements to capi3ref hyperlinking. (user: drh size: 424) [more...]
#!/bin/sh # # Usage: # # sh remove_carets.sh doc # # This script scans all *.html file in subdirectory "doc" and remove # certain character sequences from those files. Character sequences # removed are: # # ^( # )^ # ^ # echo 'Removing ^ characters ' find $1 -name '*.html' -print | grep -v matrix | while read file do mv "$file" x.html sed -e 's/\^(//g' -e 's/)^//g' -e 's/\^//g' x.html >"$file" done