log TOOLS/TOCrenumber.sh @ 9675:62c5a17038ba

age author description
Mon, 21 Oct 2002 20:59:42 +0000 gabucino small helper script for DOCS translators (to change numeric links to