From ed5b70164d7b282098debf506f37802eda808c11 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 21 Apr 2005 10:14:47 +0000 Subject: [PATCH] Removed some now removed dirs from NOT_IN_DIST --- src/Makefile | 6 ------ 1 file changed, 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)