Clean all build docs

vmcj · vmcj · commit 223665fcf5c4 · 2025-03-25T22:00:05.000+01:00
Maybe we should actually do this in the clean step already.
diff --git a/doc/Makefile b/doc/Makefile
@@ -12,3 +12,6 @@ inplace-install inplace-uninstall: SUBDIRS=manual
 
 install-docs-l:
 	$(INSTALL_DATA) -t $(DESTDIR)$(domjudge_docdir)/logos logos/DOMjudgelogo.pdf
+
+distclean-l:
+	-rm -rf manual/build
