diff options
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/Makefile b/src/Makefile index 0943b8a16..787f78bbf 100644 --- a/src/Makefile +++ b/src/Makefile @@ -15,14 +15,8 @@ WINDOWSINCLUDE =-ifor-windows DIST_DIR=GF-$(PACKAGE_VERSION) NOT_IN_DIST= \ - from-peb \ grammars \ doc/release2.html \ - src/old-stuff \ - src/parsing \ - src/conversions \ - src/trace \ - src/notrace \ src/util/AlphaConvGF.hs BIN_DIST_DIR=$(DIST_DIR)-$(host) |