Mercurial > mplayer.hg

annotate TOOLS/TOCrenumber.sh @ 12271:4adb4a3b52a2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More bounds checking fixes (thnaks to Miguel Freitas)
author rtognimp
date Sun, 25 Apr 2004 00:17:23 +0000
parents e89a7e9410b4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7828
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
1 #!/bin/sh
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
2 #
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
3 # Very simple tool to convert numeric TOC links to alphabetic (for translators,
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
4 # it is already done in english DOCS)
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
5 #
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
6 # Usage:
10286
e89a7e9410b4 Add missing language suffix to DOCS/ path.
diego
parents: 7828
diff changeset
7 # cd DOCS/fr/
7828
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
8 # ...
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
9 # TOCrenumber.sh 2.3.1.2.1 xv_3dfx
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
10 # ...
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
11 #
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
12 # by Gabucino
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
13 #
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
14
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
15 for i in *html; do
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
16 cat $i | sed s/#$1\"/#$2\"/ > $i.new
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
17 mv -f $i.new $i
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
18 cat $i | sed s/NAME="$1"\>/NAME="$2"\>/ > $i.new
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
19 mv -f $i.new $i
44d0f2f7bd56 small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff changeset
20 done