diff options
| author | bringert <unknown> | 2005-04-21 10:14:47 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-04-21 10:14:47 +0000 |
| commit | ed5b70164d7b282098debf506f37802eda808c11 (patch) | |
| tree | e784b11d84b5b1f93065d72ad580d3a2ceb945a5 | |
| parent | 9b8d7a994fbd29f5548508df395ded663ce2cb93 (diff) | |
Removed some now removed dirs from NOT_IN_DIST
| -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) |