From b35f39d5b6b38037943b1e72561aff264723a42a Mon Sep 17 00:00:00 2001 From: Alessandro Molina Date: Tue, 20 Jul 2021 17:50:46 +0200 Subject: [PATCH] Make clean in docs should clean generated docs --- docs/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Makefile b/docs/Makefile index e38bc91731d..fdff066a39a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -69,6 +69,7 @@ help: .PHONY: clean clean: rm -rf $(BUILDDIR)/* + rm -rf source/python/generated/* .PHONY: html html: