blob: 10d44ee717a041b99eb6140adb95c88c39296031 [file] [log] [blame]
Guido van Rossumc5c67bc1994-02-15 15:59:23 +00001#!/bin/sh
Fred Drake8ffa21c1998-05-08 15:37:13 +00002sed -n 's%^\\input{\(lib[a-zA-Z0-9_]*\)}.*%../lib/\1.tex%p' ../lib/lib.tex