diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-07-09 12:18:10 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-07-09 12:18:10 +0200 |
commit | f10130df30ed342e6064aa60d2a56f5107385d6b (patch) | |
tree | 202b9eac5bfd92ebfcb3b6402d68141032054eb0 /doc/release.sh.in | |
parent | 12af0f6afae11029a608e33b98047aea4e82da7d (diff) | |
parent | 86fee0b29894235a4a9a5e64afe0a643841f500f (diff) |
Merge branch 'release/debian/0.8.5-2'debian/0.8.5-2
Diffstat (limited to 'doc/release.sh.in')
-rwxr-xr-x | doc/release.sh.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in index d970773..70a52b4 100755 --- a/doc/release.sh.in +++ b/doc/release.sh.in @@ -17,7 +17,6 @@ cp \ html/*.css \ html/*.html \ html/*.js \ - html/*.map \ html/*.md5 \ html/*.png \ \ |