don't need to use the pre_process option to build the doc. It is breaking coverity moreover

This commit is contained in:
Sylvestre Ledru 2017-05-08 07:38:36 +00:00
parent 9f4122c474
commit 25209f2a61

2
debian/rules vendored
View File

@ -289,7 +289,7 @@ build_doc:
cd $(CURDIR)/docs && make -f Makefile.sphinx && make -f Makefile.sphinx man
cd $(CURDIR)/clang/docs && make -f Makefile.sphinx && make -f Makefile.sphinx man
-(if test "$(OCAML_ENABLE)" = yes; then \
$(PRE_PROCESS) $(MAKE) $(NJOBS) -C "$(TARGET_BUILD)/docs" ocaml_doc; \
$(MAKE) $(NJOBS) -C "$(TARGET_BUILD)/docs" ocaml_doc; \
fi)
# Continue if failing, Ubuntu precise cannot generate manpages as sphinx is too old