private static Target logoEps() {
return ScriptGenerated.named("gluent-logo.eps").byScript(logoEpsSh());
}
private static Target scriptToUnzipJavaparserZip() {
ConcatenatedBuilder script = Concatenated
.named("scriptToUnzipJavaparserZip");
script = script.string("#!/bin/bash\n");
script = script.string("set -eu\n");
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();
}