changeset 12914:590ce5bbf2ef

Obsolete now that the docs are XML.
author diego
date Thu, 29 Jul 2004 22:20:16 +0000
parents e7309a3b65f6
children e112afdd48e8
files TOOLS/TOCrenumber.sh
diffstat 1 files changed, 0 insertions(+), 20 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/TOCrenumber.sh	Thu Jul 29 16:23:16 2004 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -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