From 25209f2a61bd7ec737292364e789daa57ab7cb78 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Mon, 8 May 2017 07:38:36 +0000 Subject: [PATCH] don't need to use the pre_process option to build the doc. It is breaking coverity moreover --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 3abd9800..548f960b 100755 --- a/debian/rules +++ b/debian/rules @@ -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