diff options
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 1a35d4bab..193c9702d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -16,9 +16,16 @@ WINDOWSINCLUDE =-ifor-windows $(BASICINCLUDE) DIST_DIR=GF-$(PACKAGE_VERSION) NOT_IN_DIST= \ from-peb \ + doc/release2.html \ grammars/resource \ + grammars/aggregation \ + grammars/numerals \ + grammars/ocl \ + grammars/testConversions \ + grammars/timetable \ src/parsing \ - src/conversions + src/conversions \ + src/util/AlphaConvGF.hs all: unix |