107 |
$(OCAMLDOC) $(INCLUDES) -o $(LATEX) -latex \ |
$(OCAMLDOC) $(INCLUDES) -o $(LATEX) -latex \ |
108 |
-t 'lib$(NAME) code documentation' \ |
-t 'lib$(NAME) code documentation' \ |
109 |
$(MLI) \ |
$(MLI) \ |
110 |
$(ML) |
$(ML) \ |
111 |
|
`if [ -f ./ocamldoc_options ]; then cat ./ocamldoc_options; fi` |
112 |
|
|
113 |
$(DVI): $(LATEX) |
$(DVI): $(LATEX) |
114 |
@echo " + making dvi in $(SUBDIR_NAME_DIR) ..." |
@echo " + making dvi in $(SUBDIR_NAME_DIR) ..." |
133 |
$(OCAMLDOC) $(INCLUDES) -texi -o $(TEXI) \ |
$(OCAMLDOC) $(INCLUDES) -texi -o $(TEXI) \ |
134 |
-t 'lib$(NAME) code documentation' \ |
-t 'lib$(NAME) code documentation' \ |
135 |
$(MLI) \ |
$(MLI) \ |
136 |
$(ML) |
$(ML) \ |
137 |
|
`if [ -f ./ocamldoc_options ]; then cat ./ocamldoc_options; fi` |
138 |
|
|
139 |
TEXI2HTML_PATH = $(DOCPATH)/texi2html/ |
TEXI2HTML_PATH = $(DOCPATH)/texi2html/ |
140 |
|
|
152 |
$(OCAMLDOC) $(INCLUDES) -html -d $(HTML_PATH) -all-params \ |
$(OCAMLDOC) $(INCLUDES) -html -d $(HTML_PATH) -all-params \ |
153 |
-colorize-code -t 'lib$(NAME) code documentation'\ |
-colorize-code -t 'lib$(NAME) code documentation'\ |
154 |
$(MLI) \ |
$(MLI) \ |
155 |
$(ML) |
$(ML) \ |
156 |
|
`if [ -f ./ocamldoc_options ]; then cat ./ocamldoc_options; fi` |
157 |
|
|
158 |
man-generation: $(BYTE) |
man-generation: $(BYTE) |
159 |
@echo " + making man-generation in $(SUBDIR_NAME_DIR) ..." |
@echo " + making man-generation in $(SUBDIR_NAME_DIR) ..." |
161 |
$(OCAMLDOC) $(INCLUDES) -man -d $(MAN_PATH) -man-mini \ |
$(OCAMLDOC) $(INCLUDES) -man -d $(MAN_PATH) -man-mini \ |
162 |
-t 'lib$(NAME) code documentation'\ |
-t 'lib$(NAME) code documentation'\ |
163 |
$(MLI) \ |
$(MLI) \ |
164 |
$(ML) |
$(ML) \ |
165 |
|
`if [ -f ./ocamldoc_options ]; then cat ./ocamldoc_options; fi` |
166 |
|
|
167 |
|
|
168 |
dvi: $(DVI) |
dvi: $(DVI) |
169 |
|
|