From: Stephane Glondu Date: Wed, 22 Dec 2021 07:15:13 +0000 (+0100) Subject: Fix building of manpages on bytecode architectures X-Git-Tag: archive/raspbian/4.13.1-3+rpi1~2^2~19 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d7830cf8b10359b76350be557b21a904d94536ed;p=ocaml.git Fix building of manpages on bytecode architectures --- diff --git a/debian/rules b/debian/rules index 76533a82..583c0d1b 100755 --- a/debian/rules +++ b/debian/rules @@ -140,15 +140,13 @@ ifeq ($(BUILDCACHE),) $(MAKE) world $(MAKE) bootstrap $(MAKE) -C tools dumpobj -ifeq (,$(OCAML_OPT_ARCH)) -# As of 3.11.0, manpages are made only in `make opt.opt' - make -C ocamldoc manpages \ - OCAMLDOC_RUN="../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc" -else +ifneq (,$(OCAML_OPT_ARCH)) @echo "Building native compilers" $(MAKE) opt opt.opt touch opt-built-stamp endif + @echo "Building manpages" + $(MAKE) manpages else @echo "===> WARNING: $(BUILDCACHE) detected, compilation skipped! <===" rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .