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

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