+ chmod -R u+w $(distdir)/doc ... - echo "Distribution date: `date`" >> README + echo "Distribution date: `date`" >> $(distdir)/README
Ok, pushed. Thanks.
+ chmod -R u+w $(distdir)/doc ... - echo "Distribution date: `date`" >> README + echo "Distribution date: `date`" >> $(distdir)/README
Ok, pushed. Thanks.