|
|
1.1 ! root 1: M=/usr/vol2/index/tools ! 2: j=`basename $1` ! 3: awk -f $M/theadings.awk $j.tex|sed -f $M/head.sed
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.