diff options
author | 2018-07-18 12:45:51 +0200 | |
---|---|---|
committer | 2018-07-18 12:45:51 +0200 | |
commit | 2cec249e662330411aed8fe748264af48cea5c67 (patch) | |
tree | af141dd423a4ff53367da64ae02b529f871b5df1 /gen-dev-wot.sh | |
parent | index: Restore WoT links (diff) | |
download | qa-scripts-2cec249e662330411aed8fe748264af48cea5c67.tar.gz qa-scripts-2cec249e662330411aed8fe748264af48cea5c67.tar.bz2 qa-scripts-2cec249e662330411aed8fe748264af48cea5c67.zip |
Convert dev WoT to .svg
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}" |