Index: lablgtk-2.18.0/src/Makefile =================================================================== --- lablgtk-2.18.0/src/Makefile +++ lablgtk-2.18.0/src/Makefile 2013-10-04 23:11:31.000000000 +0100 @@ -588,10 +588,14 @@ $(OCAMLDOC) -dump $@ -v $(if $(LABLGLDIR),-I $(LABLGLDIR)) $(DOCFILES) gtkdoc.cmo : gtkdoc.ml $(CAMLC) -I +ocamldoc -pp "$(CAMLP4O) pa_macro.cmo $(ODOC_DEF)" -c $< +gtkdoc.cmx : gtkdoc.ml + $(CAMLOPT) -I +ocamldoc -pp "$(CAMLP4O) pa_macro.cmo $(ODOC_DEF)" -c $< +gtkdoc.cmxs : gtkdoc.cmx + $(CAMLOPT) -shared -o $@ $< DOCDIR=../doc DOC_URI=file:///usr/share/gtk-doc/html DOC_BASE_URI=$(if $(DOC_URI),-base-uri $(DOC_URI)) -doc : lablgtk$(XO)doc gtkdoc.cmo +doc : lablgtk$(XO)doc gtkdoc.cmo gtkdoc.cmxs mkdir -p $(DOCDIR)/html $(OCAMLDOC) -sort -g ./gtkdoc.cmo $(DOC_BASE_URI) -v -t LablGTK -d $(DOCDIR)/html -load $< doc_texi : lablgtk$(XO)doc