annotate Doc/tools/whichlibs @ 5817:48b94de85bf3 legacy-trunk

Extensive changes by AMK.
author Guido van Rossum <guido@python.org>
date Thu, 17 Jul 1997 16:29:42 +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