cpython/Doc/tools/whichlibs

3 lines
72 B
Plaintext
Raw Normal View History

1994-01-02 01:22:36 +00:00
#! /bin/sh
sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex