log TOOLS/TOCrenumber.sh @ 12340:6aa3e3d97133

age author description
Fri, 13 Jun 2003 01:25:11 +0000 diego Add missing language suffix to DOCS/ path.
Mon, 21 Oct 2002 20:59:42 +0000 gabucino small helper script for DOCS translators (to change numeric links to