diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-06-13 00:10:27 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-13 00:10:27 +0000 |
commit | de8250217d3cc79d03d8833f88fffc79e2928620 (patch) | |
tree | af34e5aa7001d063951b1179dcf622d5ef26eaf8 /doc | |
parent | 9e74629a337a342a8349973793b466d90664dc78 (diff) | |
parent | 261638938ead7140453afd8d6d579f0a7d284270 (diff) | |
download | nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar.gz nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar.bz2 nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar.lz nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar.xz nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.tar.zst nixpkgs-de8250217d3cc79d03d8833f88fffc79e2928620.zip |
Merge staging-next into staging
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 |