annotate Doc/whichlibs @ 3720:b341def4eef8 legacy-trunk

Ignore latex intermediate products.
author Guido van Rossum <guido@python.org>
date Wed, 26 Jun 1996 19:30:01 +0000
parents 980626ecad61
children
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