' > Index.html for i in `ls *.tex | sed "s/.tex/.html/"`; \ do echo files: $$i >> Makefile; \ echo "$$i" >> Index.html; \ done echo '' >> Index.html xref: cat *.html \ | tr '>' '\012' \ | sed -n '/.* tmp for j in `grep -v \# tmp`; \ do if test -s $$j; \ then true; \ else echo $$j; \ fi; \ done sed -n '/\(.*\)\#\(.*\)/s//if ( ! { grep -s name=\\"\2\\" \1 } ) echo \1 \2/p' tmp > tmp1 csh -f tmp1 tidy: @/bin/rm -f *~ *.bak *.tex tmp tmp1 clean: tidy @/bin/rm -f *.html *.tex files: bracket.html files: conditional.html files: connective.html files: constant.html files: deduction-rule.html files: equality.html files: equation.html files: formula.html files: function.html files: inconsistency.html files: induction-rule.html files: infix.html files: logic.html files: operator-theory.html files: operator.html files: overload.html files: partitioned-by.html files: precedence.html files: quantifier.html files: rewrite-rule.html files: signature.html files: sort.html files: system.html files: term.html files: variable.html