Doc/tools/whichlibs - platform/external/python - Git at Google

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