summaryrefslogtreecommitdiff
path: root/web/spiderweb/tools/shortindex
blob: 5fe091847198c4e30d1d02871589edbe14f318c7 (plain)
1
2
3
#!/bin/csh -f
# Make a ``short index'' for file $1
grep "^\\:\{" $1.tex | cat ~ada/tex/indexhead.tex - ~ada/tex/indextail.tex > short$1.tex