# HG changeset patch
# User diego
# Date 1091139616 0
# Node ID 590ce5bbf2ef5338db6ca0de6c8ccea4bff28187
# Parent  e7309a3b65f6502be051b9510d6d2ae91f69ad88
Obsolete now that the docs are XML.

diff -r e7309a3b65f6 -r 590ce5bbf2ef TOOLS/TOCrenumber.sh
--- 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