commit | 897bc2556fed43b76f6d1b14470c3e806df15af8 | [log] [tgz] |
---|---|---|
author | Jean-Paul Calderone <exarkun@boson> | Mon Feb 18 20:50:23 2008 -0500 |
committer | Jean-Paul Calderone <exarkun@boson> | Mon Feb 18 20:50:23 2008 -0500 |
tree | bdd09f33c3fadb7efecca918e06e3dbef0a82bb9 |
initial source import
diff --git a/doc/tools/whichlibs b/doc/tools/whichlibs new file mode 100755 index 0000000..10d44ee --- /dev/null +++ b/doc/tools/whichlibs
@@ -0,0 +1,2 @@ +#!/bin/sh +sed -n 's%^\\input{\(lib[a-zA-Z0-9_]*\)}.*%../lib/\1.tex%p' ../lib/lib.tex