From 36b4807621455e46649bec77b32a9c323aedf3f8 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Sun, 2 Jan 1994 01:22:36 +0000 Subject: [PATCH] A small but essential file... --- Doc/tools/whichlibs | 2 ++ Doc/whichlibs | 2 ++ 2 files changed, 4 insertions(+) create mode 100755 Doc/tools/whichlibs create mode 100755 Doc/whichlibs diff --git a/Doc/tools/whichlibs b/Doc/tools/whichlibs new file mode 100755 index 00000000000..b7efe14d1c0 --- /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 00000000000..b7efe14d1c0 --- /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