equal
deleted
inserted
replaced
7 ## dependencies |
7 ## dependencies |
8 |
8 |
9 include ../Makefile.in |
9 include ../Makefile.in |
10 |
10 |
11 NAME = ref |
11 NAME = ref |
12 FILES = ref.tex tactic.tex tctical.tex thm.tex defining.tex syntax.tex \ |
12 FILES = ref.tex tactic.tex thm.tex defining.tex syntax.tex \ |
13 substitution.tex simplifier.tex classical.tex ../proof.sty \ |
13 substitution.tex simplifier.tex classical.tex ../proof.sty \ |
14 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
14 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
15 |
15 |
16 dvi: $(NAME).dvi |
16 dvi: $(NAME).dvi |
17 |
17 |