210211212213214215216217218219220
sh.string("#!/bin/bash -eux\n"); sh.string("DEST=$1\n"); sh.string("asy -o \"$DEST\" '"); sh.pathTo(logoAsy()); sh.string("'\n"); return sh.end(); } private static Target logoEps() { return ScriptGenerated.named("gluent-logo.eps").byScript(logoEpsSh()); }
227228229230231232233234235
script = script.string("DEST=$1\n"); script = script.string("unzip -p '"); script = script.pathTo(javaparserZip()); script = script.string("' javaparser-1.0.5.jar > \"$DEST\"\n"); return script.end(); } }