added a distribute script which executes distcheck.
Arne Babenhauserheide
Änderung: 13:77d72b5173de Vorgänger: 9:75f356decb38 Nutzer: Arne BabenhauserheideDatum: Thu Jul 04 12:44:15 2013 +0200 Zusammenfassung: added a distribute script which executes distcheck. distribute.sh | 6 ++++++ 1 Dateien verändert, 6 Zeilen hinzugefügt(+), 0 Zeilen entfernt(-)