Improved "make dist", now with version numbers.

diff --git a/Makefile b/Makefile
index bb481c78f94615d4d9c22fcea460ccb29eeba88c..920ed34faf985e2eaabaadc82ccba4acd3a914a2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -27,8 +27,11 @@ DISTFILES = bedstead.c Makefile \
 
 .PHONY: dist
 
-dist: $(DISTFILES)
-       mkdir bedstead-dist
-       ln $(DISTFILES) bedstead-dist
-       zip -r bedstead.zip bedstead-dist
-       rm -r bedstead-dist
+dist: $(DISTFILES) bedstead
+       rm -rf bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
+       mkdir bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
+       ln $(DISTFILES) \
+           bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
+       zip -r bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd).zip \
+           bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
+       rm -r bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)