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