| changeset 6668 | fb098775306c |
| parent 6637 | 57abed64dc14 |
| child 9695 | ec7d7f877712 |
| 6667:58b9785f8534 | 6668:fb098775306c |
|---|---|
10 ## dependencies |
10 ## dependencies |
11 |
11 |
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = ind-defs |
14 NAME = ind-defs |
15 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
15 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
16 |
16 |
17 dvi: $(NAME).dvi |
17 dvi: $(NAME).dvi |
18 |
18 |
19 $(NAME).dvi: $(FILES) |
19 $(NAME).dvi: $(FILES) |
20 $(LATEX) $(NAME) |
20 $(LATEX) $(NAME) |