diff options
| author | Ryan Mulligan <ryan@ryantm.com> | 2021-06-12 16:51:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-12 16:51:03 -0700 |
| commit | 740d9fe0906ce91550f031ba4e4680031ec0583e (patch) | |
| tree | 5f092474a018eaf46732636267ea22fc40f4e735 /doc | |
| parent | d51b663e07bd64b586009b72946823fd4b449282 (diff) | |
| parent | c9ecf037ecd2e5ab84294d955a344ccf981e17b0 (diff) | |
| download | nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar.gz nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar.bz2 nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar.lz nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar.xz nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.tar.zst nixpkgs-740d9fe0906ce91550f031ba4e4680031ec0583e.zip | |
Merge pull request #125671 from SFrijters/doc-improve-make-clean
doc: Clean up generated media directory
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 85d09f3ddc0..d4f1250c4d7 100644 --- 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 |