diff options
| author | hdaniels <unknown> | 2005-06-23 10:52:38 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-23 10:52:38 +0000 |
| commit | 82a8acca71e31b0a5cdf8bdbfbfbc36e28da6788 (patch) | |
| tree | 78fb1af353586277085d7491e47d4dde00ef1e5f /src/Makefile | |
| parent | c9b5a36e03b6ca60bd905ca10e308da78fac3a25 (diff) | |
added an application icon for gfeditor. But the icon itself is worth improvement
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 6e1e6b8b8..d51a921d5 100644 --- a/src/Makefile +++ b/src/Makefile @@ -119,7 +119,7 @@ javac: jar: javac cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd .. - cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs ; cd .. ; cd .. + cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs gf-logo-64.gif jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs gf-logo-64.gif ; cd .. ; cd .. showflags: @echo $(GHCFLAGS) |