index
:
plan9front.git
cosa
front
gicv2
gicvn
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sys
/
src
/
cmd
/
python
/
Doc
/
tools
/
whichlibs
blob: 10d44ee717a041b99eb6140adb95c88c39296031 (
plain
)
1
2
#!/bin/sh
sed -n
's%^\\input{\(lib[a-zA-Z0-9_]*\)}.*%../lib/\1.tex%p'
../lib/lib.tex