Commit | Line | Data |
---|---|---|
feec80c3 C |
1 | ifneq ($(MAKECMDGOALS),distclean) |
2 | include ../Makefile.config | |
3 | endif | |
4 | ||
993936c0 C |
5 | API=coccilib.mli |
6 | DEST=../docs | |
7 | FLAGS=$(INCLUDES) -hide Pervasives | |
8 | HTMLFLAGS=-all-params -colorize-code | |
f3c4ece6 | 9 | MANFLAGS=-man-mini |
993936c0 | 10 | |
feec80c3 | 11 | .PHONY: doc |
f3c4ece6 C |
12 | |
13 | doc: html man | |
993936c0 | 14 | |
feec80c3 C |
15 | html: $(DEST)/html/index.html |
16 | $(DEST)/html/index.html: $(API) ../parsing_c/ast_c.cmi | |
17 | $(MKDIR_P) $(DEST)/html | |
993936c0 C |
18 | $(OCAMLDOC) $(FLAGS) -html $(HTMLFLAGS) -d $(DEST)/html $(API) |
19 | ||
feec80c3 C |
20 | man: $(DEST)/man/Coccilib.3o |
21 | $(DEST)/man/Coccilib.3o: $(API) ../parsing_c/ast_c.cmi | |
22 | $(MKDIR_P) $(DEST)/man | |
f3c4ece6 | 23 | $(OCAMLDOC) $(FLAGS) -man $(MANFLAGS) -d $(DEST)/man $(API) |
993936c0 C |
24 | |
25 | cleandoc: | |
26 | rm -rf $(DEST)/html $(DEST)/man |