summaryrefslogtreecommitdiff
path: root/Doc/tools/whichlibs
blob: b7efe14d1c0f6c2d613c97a2ba3b5e59ac877af6 (plain)
1
2
#! /bin/sh
sed -n 's/^\\input{\(lib[a-zA-Z0-9_]*\)}.*/\1.tex/p' lib.tex