Reproduzierbare Veröffentlichungen

(Arne Babenhauserheide)
2013-07-04: added a distribute script which executes distcheck.

added a distribute script which executes distcheck.

diff --git a/distribute.sh b/distribute.sh
new file mode 100755
--- /dev/null
+++ b/distribute.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+# build the makefile and the project.
+
+# To change the build setup, edit configure.ac and Makefile.am and then run this script again.
+
+autoreconf -i && ./configure && make distcheck