diff options
author | Guido van Rossum <guido@python.org> | 1994-01-02 01:22:36 +0000 |
---|---|---|
committer | Guido van Rossum <guido@python.org> | 1994-01-02 01:22:36 +0000 |
commit | 47a59852895bdf4687eb1632deaf6d9814201f1b (patch) | |
tree | 29ef36a07f5ceb0e355f349249ab2f0e68110af2 /Doc | |
parent | 5358a5d5edc5fa2c86e92ee752bbdd8ca2c19f2e (diff) | |
download | cpython-47a59852895bdf4687eb1632deaf6d9814201f1b.tar.gz |
A small but essential file...
Diffstat (limited to 'Doc')
-rwxr-xr-x | Doc/tools/whichlibs | 2 | ||||
-rwxr-xr-x | Doc/whichlibs | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/Doc/tools/whichlibs b/Doc/tools/whichlibs new file mode 100755 index 0000000000..b7efe14d1c --- /dev/null +++ b/Doc/tools/whichlibs @@ -0,0 +1,2 @@ +#! /bin/sh +sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex diff --git a/Doc/whichlibs b/Doc/whichlibs new file mode 100755 index 0000000000..b7efe14d1c --- /dev/null +++ b/Doc/whichlibs @@ -0,0 +1,2 @@ +#! /bin/sh +sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex |