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).
