[gentoo-commits] proj/policy-guide:master commit in: /

["Sam James" <sam@gentoo.org>]

commit:     75164c2f72aed07cbea40e95cfedbe775f8a377a
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 24 17:04:55 2022 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Jan 14 18:45:09 2023 +0000
URL:        https://gitweb.gentoo.org/proj/policy-guide.git/commit/?id=75164c2f

Makefile: use a custom `clean` target

Replace the Sphinx's `clean` target with a custom one that does not
remove the git repository from _build/html.

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
Signed-off-by: Sam James <sam <AT> gentoo.org>

 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b5027c9..e640808 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,11 @@ all: html $(BUILDDIR)/html/combined.html
 $(BUILDDIR)/html/combined.html: singlehtml
 	cp $(BUILDDIR)/singlehtml/index.html $@
 
-.PHONY: all Makefile
+# The standard `clean` command removes the git repository
+clean:
+	rm -rf _build/html/* _build/html/.buildinfo
+
+.PHONY: all clean Makefile
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).