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

Ok, pushed. Thanks.



Reply via email to