A small but essential file...

47a59852 · Guido van Rossum · 5358a5d5 · 47a59852 · 47a59852
Commit 47a59852 authored Jan 02, 1994 by Guido van Rossum
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

Doc/tools/whichlibs Doc/tools/whichlibs +2 -0

Doc/whichlibs Doc/whichlibs +2 -0

No files found.
--- a/Doc/tools/whichlibs
+++ b/Doc/tools/whichlibs
+#! /bin/sh
+sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex
--- a/Doc/whichlibs
+++ b/Doc/whichlibs
+#! /bin/sh
+sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex