annotate Doc/tools/whichlibs @ 4566:6403c94de50d legacy-trunk

Added safeguard against failure in __del__.
author Guido van Rossum <guido@python.org>
date Wed, 27 Nov 1996 19:39:58 +0000
parents 980626ecad61
children 35d1ceed69b9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1550
980626ecad61 At release 1.0.1. Scripts, Makefile, README: cosmetic changes and
Guido van Rossum <guido@python.org>
parents: 1472
diff changeset
1 #!/bin/sh
1472
c751cbeee688 A small but essential file...
Guido van Rossum <guido@python.org>
parents:
diff changeset
2 sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex