Oops -- Lib/Test should be Lib/test, of course!

[python/dscho.git] / Doc / tools / whichlibs

#!/bin/sh
sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex