Skip to content

Commit

Permalink
makefile target to build the stdlib documentation as html
Browse files Browse the repository at this point in the history
(Patch by Simon Cruanes)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information
gasche committed Apr 19, 2014
1 parent 5ef784b commit 56f1f8a
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 0 deletions.
6 changes: 6 additions & 0 deletions Makefile
Expand Up @@ -723,6 +723,12 @@ ocamldoc: ocamlc ocamlyacc ocamllex otherlibraries
ocamldoc.opt: ocamlc.opt ocamlyacc ocamllex ocamldoc.opt: ocamlc.opt ocamlyacc ocamllex
cd ocamldoc && $(MAKE) opt.opt cd ocamldoc && $(MAKE) opt.opt


# Documentation

html_doc: ocamldoc
make -C ocamldoc html_doc
@echo "documentation is in ./ocamldoc/stdlib_html/"

partialclean:: partialclean::
cd ocamldoc && $(MAKE) clean cd ocamldoc && $(MAKE) clean


Expand Down
8 changes: 8 additions & 0 deletions ocamldoc/Makefile
Expand Up @@ -181,6 +181,7 @@ $(OCAMLDOC_LIBCMXA): $(LIBCMXFILES)
$(OCAMLOPT) -a -o $@ $(LINKFLAGS) $(OCAMLSRCDIR)/tools/depend.cmx $(LIBCMXFILES) $(OCAMLOPT) -a -o $@ $(LINKFLAGS) $(OCAMLSRCDIR)/tools/depend.cmx $(LIBCMXFILES)


manpages: stdlib_man/Pervasives.3o manpages: stdlib_man/Pervasives.3o
html_doc: stdlib_html/Pervasives.html


dot: $(EXECMOFILES) dot: $(EXECMOFILES)
$(OCAMLDOC_RUN) -dot -dot-reduce -o ocamldoc.dot $(INCLUDES) \ $(OCAMLDOC_RUN) -dot -dot-reduce -o ocamldoc.dot $(INCLUDES) \
Expand Down Expand Up @@ -306,6 +307,13 @@ stdlib_man/Pervasives.3o: $(STDLIB_MLIS)
-t "OCaml library" -man-mini \ -t "OCaml library" -man-mini \
$(STDLIB_MLIS) $(STDLIB_MLIS)


stdlib_html/Pervasives.html: $(STDLIB_MLIS)
$(MKDIR) stdlib_html
$(OCAMLDOC_RUN) -d stdlib_html -html $(INCLUDES) \
-t "OCaml library" \
$(STDLIB_MLIS)


autotest_stdlib: dummy autotest_stdlib: dummy
$(MKDIR) $@ $(MKDIR) $@
$(OCAMLDOC_RUN) -g autotest/odoc_test.cmo\ $(OCAMLDOC_RUN) -g autotest/odoc_test.cmo\
Expand Down

0 comments on commit 56f1f8a

Please sign in to comment.