| branch | cms | 
| changeset 16 | 65695e59a6f9 | 
| parent 13 | 6325534de493 | 
| child 40 | cc9a80eb647c | 
| child 72 | 66bf85163780 | 
| 15:8e33564a0815 | 16:65695e59a6f9 | 
|---|---|
26 DOC = $(PDF) $(DVI)  | 
26 DOC = $(PDF) $(DVI)  | 
27  | 
27  | 
28 .PHONY: all install uninstall clean distclean dvi pdf  | 
28 .PHONY: all install uninstall clean distclean dvi pdf  | 
29  | 
29  | 
30 all: $(CHECKED) man  | 
30 all: $(CHECKED) man  | 
31 @test -x ma || chmod +x ma  | 
|
31  | 
32  | 
32 man: $(MAN)  | 
33 man: $(MAN)  | 
33  | 
34  | 
34 doc: $(DOC)  | 
35 doc: $(DOC)  | 
35  | 
36  |