' > 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: backward.html files: by-cases.html files: by-consistency.html files: by-contradiction.html files: by-generalization.html files: by-induction.html files: by-normalization.html files: by-specialization.html files: explicit.html files: forward.html files: methods.html files: multilevel-induction.html files: of-biconditional.html files: of-conditional.html files: of-conjunction.html files: of-dr.html files: of-implication.html files: of-ir.html files: of-ot.html files: structural.html files: well-founded.html