Makefile
changeset 29 88691556661f
parent 27 e5c5a89d8308
child 30 53e99e552122
--- a/Makefile	Thu Dec 31 17:38:00 2009 +0200
+++ b/Makefile	Thu Dec 31 17:46:54 2009 +0200
@@ -85,7 +85,7 @@
 
 dist:
 	mkdir -p dist/$(DIST_NAME)
-	cp -rv Makefile $(DIST_RESOURCES) src/ dist/$(DIST_NAME)/
+	cp -rv Makefile $(DIST_RESOURCES) src/ include/ dist/$(DIST_NAME)/
 	rm dist/$(DIST_NAME)/src/*/.*.sw[op]
 	make -C dist/$(DIST_NAME) dirs
 	tar -C dist -czvf dist/$(DIST_NAME).tar.gz $(DIST_NAME)