Merge pull request NixOS#125671 from SFrijters/doc-improve-make-clean

doc: Clean up generated media directory
wildsebastian · Jun 12, 2021 · 740d9fe · 740d9fe
2 parents d51b663 + c9ecf03
commit 740d9fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/Makefile b/doc/Makefile
@@ -32,7 +32,7 @@ fix-misc-xml:
 .PHONY: clean
 clean:
 	rm -f ${MD_TARGETS} doc-support/result .version manual-full.xml functions/library/locations.xml functions/library/generated
-	rm -rf ./out/ ./highlightjs
+	rm -rf ./out/ ./highlightjs ./media
 
 .PHONY: validate
 validate: manual-full.xml doc-support/result