doc: Copy svg files, too, but not source svg files

2024-12-13 12:35:48 +03:00 · 2020-05-14 17:10:34 -04:00 · 2020-05-14 17:10:34 -04:00 · ffb915de2e
commit ffb915de2e
parent c266d96b7a
1 changed files with 2 additions and 0 deletions
--- a/doc/default.nix
+++ b/doc/default.nix
@ -73,6 +73,8 @@ stdenv.mkDerivation {
      --output-dir="$out"

    rsync --prune-empty-dirs --verbose --archive \
+      --exclude="*.src.svg" \
+      --include="*.svg" \
      --include="*.jpeg" \
      --include="*.png" \
      --include="*/" --exclude="*" . $out/