diff options
Diffstat (limited to 'gen-dev-wot.sh')
| -rwxr-xr-x | gen-dev-wot.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen-dev-wot.sh b/gen-dev-wot.sh index 64b0067..d15f461 100755 --- a/gen-dev-wot.sh +++ b/gen-dev-wot.sh @@ -17,6 +17,6 @@ gpg -q --keyid-format=long --keyring "${1}/active-devs.gpg" --list-sigs | \ /usr/bin/sig2dot -q -t "Gentoo Dev WoT" -s wot-stats.html \ > keys.dot -dot -Gcharset=latin1 -Tpng keys.dot > "${1}/wot-graph.png" +dot -Gcharset=latin1 -Tsvg keys.dot > "${1}/wot-graph.svg" mv wot-stats.html "${1}" |