| changeset 3172 | 629d63c74ddc |
| parent 3170 | 0b3ff84bab29 |
| child 5170 | 33fbffd06c12 |
| 3171:d8de47527309 | 3172:629d63c74ddc |
|---|---|
9 FILES = system.tex \ |
9 FILES = system.tex \ |
10 ../iman.sty ../extra.sty |
10 ../iman.sty ../extra.sty |
11 |
11 |
12 system.dvi.gz: $(FILES) |
12 system.dvi.gz: $(FILES) |
13 -rm system.dvi* |
13 -rm system.dvi* |
14 latex system |
|
15 rail system |
|
16 bibtex system |
|
17 latex system |
14 latex system |
18 latex system |
15 latex system |
19 ../sedindex system |
16 ../sedindex system |
20 latex system |
17 latex system |
21 gzip -f system.dvi |
18 gzip -f system.dvi |