Documentation depends now on the use API examples

parent dda14b2d
......@@ -1907,7 +1907,9 @@ update-doc-png:
export GTK_THEME=Adwaita; \
sed -n -e 's/^.. %EXECUTE \(.*\)/\1/p' $(DOCRST) | $(SHELL) -e
doc/html/index.html: $(DOCRST) $(DRVDOT) $(LIBDOT) doc/
TESTSAPI = $(addsuffix .ml, $(addprefix examples/use_api/, $(APITESTS)))
doc/html/index.html: $(DOCRST) $(DRVDOT) $(LIBDOT) $(TESTSAPI) doc/
$(SPHINX) -b html -d doc/.doctrees doc doc/html
doc/latex/manual.tex: $(DOCRST) $(DRVDOT) $(LIBDOT) doc/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment