mgieseki/dvisvgm — pull request #42 by khaledhosny (2014-08-10 05:55:29+00:00)
Title: Misc build fixes

Small improvements to the build scripts.