(py-electric-colon): use a save-excursion instead of a progn in

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

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