build without doc: create an empty directory to please him

This commit is contained in:
Sylvestre Ledru 2023-09-30 09:00:02 +02:00
parent 14d8e0f7ba
commit 3c9e2699fa

1
debian/rules vendored
View File

@ -977,6 +977,7 @@ override_dh_prep: build_doc
ifeq ($(DOC_GENERATION), no)
build_doc:
mkdir -p $(CURDIR)/tools/clang/stage2-bins/docs/ocamldoc/html/
@echo "Don't build doc on this distro $(DISTRO)"
else
build_doc: