60 |
OFLAGS = $(INCLUDES) |
OFLAGS = $(INCLUDES) |
61 |
|
|
62 |
RM = rm -f |
RM = rm -f |
63 |
|
LN = ln -fs |
64 |
TMP = /tmp |
TMP = /tmp |
65 |
|
|
66 |
# main target |
# main target |
161 |
$(OCAMLDOC) -v -man -d $(DOCPATH)/man -t '$(NAME) code documentation' $(ML) $(MLI) |
$(OCAMLDOC) -v -man -d $(DOCPATH)/man -t '$(NAME) code documentation' $(ML) $(MLI) |
162 |
|
|
163 |
$(HTML): html-generation |
$(HTML): html-generation |
164 |
ln -s $(DOCPATH)/html/index.html $(HTML) |
$(LN) $(DOCPATH)/html/index.html $(HTML) |
165 |
|
|
166 |
doc: man-generation $(TEXI) $(HTML) $(PS) $(PDF) |
doc: man-generation $(TEXI) $(HTML) $(PS) $(PDF) |
167 |
|
|