diff options
Diffstat (limited to 'TOOLS')
| -rwxr-xr-x | TOOLS/TOCrenumber.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/TOOLS/TOCrenumber.sh b/TOOLS/TOCrenumber.sh deleted file mode 100755 index 0978c76ad8..0000000000 --- a/TOOLS/TOCrenumber.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh -# -# Very simple tool to convert numeric TOC links to alphabetic (for translators, -# it is already done in english DOCS) -# -# Usage: -# cd DOCS/fr/ -# ... -# TOCrenumber.sh 2.3.1.2.1 xv_3dfx -# ... -# -# by Gabucino -# - -for i in *html; do - cat $i | sed s/#$1\"/#$2\"/ > $i.new - mv -f $i.new $i - cat $i | sed s/NAME="$1"\>/NAME="$2"\>/ > $i.new - mv -f $i.new $i -done |