Skip to main content

Browse the archive

Staging
v0.8.1
Revision 3caad8c291691dbec58a75db2341d80522793f88 authored by Guido van Rossum on 28 March 1995, 09:22:53 UTC, committed by Guido van Rossum on 28 March 1995, 09:22:53 UTC 
adapted to new naming; clarify comments somewhat
1 parent 1b91cda
Raw File
whichlibs 
#!/bin/sh
sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex
back to top