make dist now gittyfied

Makefile

@@ -69,17 +69,7 @@ mrproper: clean
 .PHONY: dist
 dist: 
 	mkdir -p dist
-	rm -f $(SRC)InstallDir.hs
-	tar czf $(THIS)$(DIST)kics_src.tgz\
-	  $(THIS)$(LIB)*.curry \
-	  $(THIS)$(LIB)/ExternalData*.hs \
-	  $(THIS)$(LIB)/ExternalInstances*.hs \
-	  $(THIS)$(LIB)/ExternalFunctions*.hs \
-	  $(THIS)$(LIB)/External*.spec \
-	  $(THIS)$(SRC)*.hs\
-	  $(THIS)$(SRC)*.make\
-	  $(THIS)Makefile $(THIS)INSTALL\
-	  $(THIS)$(BIN)kghc
+	git archive -v --prefix=kics/ master | gzip > $(THIS)$(DIST)kics_src.tgz  
 	cp $(THIS)$(DIST)kics_src.tgz ~/public_html/download/
 	chmod a+r ~/public_html/download/kics_src.tgz