diff mbox series

docs: do not install .deps files

Message ID 20221210204258.3153703-1-marmarek@invisiblethingslab.com (mailing list archive)
State New, archived
Headers show
Series docs: do not install .deps files | expand

Commit Message

Marek Marczykowski-Górecki Dec. 10, 2022, 8:42 p.m. UTC
It isn't really part of the documentation. Furthermore, entries there
are in not determined order, which breaks build reproducibility.

Signed-off-by: Marek Marczykowski-Górecki <marmarek@invisiblethingslab.com>
---
 docs/Makefile | 1 +
 1 file changed, 1 insertion(+)

Comments

Andrew Cooper Dec. 10, 2022, 8:55 p.m. UTC | #1
On 10/12/2022 20:42, Marek Marczykowski-Górecki wrote:
> It isn't really part of the documentation. Furthermore, entries there
> are in not determined order, which breaks build reproducibility.
>
> Signed-off-by: Marek Marczykowski-Górecki <marmarek@invisiblethingslab.com>

Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
diff mbox series

Patch

diff --git a/docs/Makefile b/docs/Makefile
index 8de1efb6f5bc..966a104490ac 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -178,6 +178,7 @@  $(foreach i,$(MAN_SECTIONS),$(eval $(call GENERATE_MANPAGE_RULES,$(i))))
 install-html: html txt figs
 	$(INSTALL_DIR) $(DESTDIR)$(docdir)
 	[ ! -d html ] || cp -R html $(DESTDIR)$(docdir)
+	rm -f $(DESTDIR)$(docdir)/html/hypercall/*/.deps
 
 .PHONY: install
 install: install-man-pages install-html