From d7830cf8b10359b76350be557b21a904d94536ed Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 22 Dec 2021 08:15:13 +0100
Subject: [PATCH] Fix building of manpages on bytecode architectures

---
 debian/rules | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

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)/ .
-- 
2.30.2