From 49c82fe76632886f219bb243b1dc64b25733bb57 Mon Sep 17 00:00:00 2001 From: Nic Volanschi Date: Mon, 11 Dec 2023 14:11:07 +0100 Subject: [PATCH] doc: exclude .odocl files from publishing --- docs/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/Makefile b/docs/Makefile index 022ca4ad515c..0946d2d16252 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -85,6 +85,7 @@ odoc: @rm -rf $$(pwd)/_build/api/odoc @mkdir -p $$(pwd)/_build/api @cp -r $$(pwd)/../_build/default/_doc $$(pwd)/_build/api/odoc + @rm -rf $(CURDIR)/_build/api/odoc/_odocls odoc-lite: rm -rf $(TMPDOCDIR)/ @@ -100,6 +101,7 @@ odoc-lite: rm -rf $(CURDIR)/_build/api/odoc mkdir -p $(CURDIR)/_build/api cp -r $(TOPBUILDDIR_ABS)/default/_doc $(CURDIR)/_build/api/odoc + rm -rf $(CURDIR)/_build/api/odoc/_odocls .PHONY: linkcheck linkcheck: html -- GitLab