diff Doc/whichlibs @ 1472:c751cbeee688 legacy-trunk

A small but essential file...
author Guido van Rossum <guido@python.org>
date Sun, 02 Jan 1994 01:22:36 +0000
parents
children 980626ecad61
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Doc/whichlibs	Sun Jan 02 01:22:36 1994 +0000
@@ -0,0 +1,2 @@
+#! /bin/sh
+sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex