133 |
DVI_SHORT=$(NAME)_code_documentation.dvi |
DVI_SHORT=$(NAME)_code_documentation.dvi |
134 |
DVI=$(DOCPATH)/$(DVI_SHORT) |
DVI=$(DOCPATH)/$(DVI_SHORT) |
135 |
TEXI=$(DOCPATH)/$(NAME)_code_documentation.texi |
TEXI=$(DOCPATH)/$(NAME)_code_documentation.texi |
136 |
|
MANREADME=$(DOCPATH)/man/README |
137 |
|
|
138 |
$(LATEX): $(ML) $(MLI) |
$(LATEX): $(ML) $(MLI) |
139 |
$(OCAMLDOC) -o $(LATEX) -v -latex -t '$(NAME) code documentation' $(ML) $(MLI) |
$(OCAMLDOC) -o $(LATEX) -v -latex -t '$(NAME) code documentation' $(ML) $(MLI) |
158 |
$(OCAMLDOC) -v -html -d $(DOCPATH)/html -all-params -colorize-code -t '$(NAME) code documentation' $(ML) $(MLI) |
$(OCAMLDOC) -v -html -d $(DOCPATH)/html -all-params -colorize-code -t '$(NAME) code documentation' $(ML) $(MLI) |
159 |
|
|
160 |
man-generation: $(ML) $(MLI) |
man-generation: $(ML) $(MLI) |
161 |
$(OCAMLDOC) -v -man -d $(DOCPATH)/man -t '$(NAME) code documentation' $(ML) $(MLI) |
$(OCAMLDOC) -v -man -d $(DOCPATH)/man -man-mini -t '$(NAME) code documentation' $(ML) $(MLI) |
162 |
|
echo 'Just "man *.o" in this directory to view the man pages.' > $(MANREADME) |
163 |
|
|
164 |
doc: man-generation html-generation $(TEXI) $(PS) $(PDF) |
doc: man-generation html-generation $(TEXI) $(PS) $(PDF) |
165 |
|
|
166 |
|
doc-view: doc-view-pdf |
167 |
|
|
168 |
|
doc-view-pdf: |
169 |
|
xpdf $(PDF) |
170 |
|
|
171 |
|
doc-view-html: |
172 |
|
mozilla $(DOCPATH)/html/index.html |
173 |
|
|
174 |
|
doc-view-man: |
175 |
|
man $(DOCPATH)/man/*.o |
176 |
|
|
177 |
|
doc-view-ps: |
178 |
|
gv $(PS) |
179 |
|
|
180 |
# generic rules |
# generic rules |
181 |
############### |
############### |
182 |
|
|
234 |
|
|
235 |
doc-clean: |
doc-clean: |
236 |
$(RM) $(DOCPATH)/man/*.o \ |
$(RM) $(DOCPATH)/man/*.o \ |
237 |
|
$(MANREADME) \ |
238 |
$(TEXI) \ |
$(TEXI) \ |
239 |
$(PS) \ |
$(PS) \ |
240 |
$(PDF) \ |
$(PDF) \ |