64 |
CMI = $(MLI:.mli=.cmi) |
CMI = $(MLI:.mli=.cmi) |
65 |
CMO = $(ML:.ml=.cmo) |
CMO = $(ML:.ml=.cmo) |
66 |
|
|
67 |
|
$(CMI): $(MLI) |
68 |
|
$(CMO): $(ML) |
69 |
|
|
70 |
$(BYTE): interface |
$(BYTE): interface |
71 |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
72 |
@make lib$(NAME).cma |
@make lib$(NAME).cma |
114 |
|
|
115 |
$(LATEX): $(BYTE) |
$(LATEX): $(BYTE) |
116 |
@echo " + making latex in $(SUBDIR_NAME_DIR) ..." |
@echo " + making latex in $(SUBDIR_NAME_DIR) ..." |
|
export TEXINPUTS="/usr/lib/ocaml/ocamldoc/" ; \ |
|
117 |
$(OCAMLDOC) $(INCLUDES) -o $(LATEX) -latex \ |
$(OCAMLDOC) $(INCLUDES) -o $(LATEX) -latex \ |
118 |
-t 'lib$(NAME) code documentation' \ |
-t 'lib$(NAME) code documentation' \ |
119 |
$(MLI) \ |
$(MLI) \ |
139 |
|
|
140 |
$(TEXI): $(BYTE) |
$(TEXI): $(BYTE) |
141 |
@echo " + making texi in $(SUBDIR_NAME_DIR) ..." |
@echo " + making texi in $(SUBDIR_NAME_DIR) ..." |
|
export TEXINPUTS="/usr/lib/ocaml/ocamldoc/" ; \ |
|
142 |
$(OCAMLDOC) $(INCLUDES) -texi -o $(TEXI) \ |
$(OCAMLDOC) $(INCLUDES) -texi -o $(TEXI) \ |
143 |
-t 'lib$(NAME) code documentation' \ |
-t 'lib$(NAME) code documentation' \ |
144 |
$(MLI) \ |
$(MLI) \ |
157 |
|
|
158 |
html-generation: $(BYTE) |
html-generation: $(BYTE) |
159 |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
|
export TEXINPUTS="/usr/lib/ocaml/ocamldoc/" ; \ |
|
160 |
$(OCAMLDOC) $(INCLUDES) -html -d $(HTML_PATH) -all-params \ |
$(OCAMLDOC) $(INCLUDES) -html -d $(HTML_PATH) -all-params \ |
161 |
-colorize-code -t 'lib$(NAME) code documentation'\ |
-colorize-code -t 'lib$(NAME) code documentation'\ |
162 |
$(MLI) \ |
$(MLI) \ |
165 |
|
|
166 |
man-generation: $(BYTE) |
man-generation: $(BYTE) |
167 |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
|
export TEXINPUTS="/usr/lib/ocaml/ocamldoc/" ; \ |
|
168 |
$(OCAMLDOC) $(INCLUDES) -man -d $(MAN_PATH) -man-mini \ |
$(OCAMLDOC) $(INCLUDES) -man -d $(MAN_PATH) -man-mini \ |
169 |
-t 'lib$(NAME) code documentation'\ |
-t 'lib$(NAME) code documentation'\ |
170 |
$(MLI) \ |
$(MLI) \ |