diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 14:32:49 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 14:32:49 +0000 |
| commit | ebbc0a3e806f2df19a74b3f7a1d3575476c3237b (patch) | |
| tree | 75cee427000925ef11ca42f78a1abe232b64342b /src-3.0/Makefile | |
| parent | 35296a555d26a4721ffabe7994d59809c63ec93c (diff) | |
move GF.Devel.GF to GF
Diffstat (limited to 'src-3.0/Makefile')
| -rw-r--r-- | src-3.0/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/Makefile b/src-3.0/Makefile index 53c648908..66e709e18 100644 --- a/src-3.0/Makefile +++ b/src-3.0/Makefile @@ -207,7 +207,7 @@ gfc: gf3 gfi: gf3 gf3: - $(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF/Devel/GF.hs + $(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF.hs strip $(GF3_EXE) mv $(GF3_EXE) ../bin/ |