[darcs-users] [patch140] We should call "make website" before creating release ...

Petr Ročkai bugs at darcs.net
Tue Jan 12 20:36:19 UTC 2010


New submission from Petr Ročkai <me at mornfall.net>:

This may be controversial. I am not sure if this is the right fix, or
alternatively, we should revise the list of extra source files in darcs.cabal.

1 patch for repository darcs-unstable at darcs.net:darcs:

Tue Jan 12 21:31:30 CET 2010  Petr Rockai <me at mornfall.net>
  * We should call "make website" before creating release tarballs.

----------
files: unnamed, we-should-call-_make-website_-before-creating-release-tarballs_.dpatch
messages: 9798
nosy: darcs-users, mornfall
status: needs-review
title: We should call "make website" before creating release ...

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch140>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: we-should-call-_make-website_-before-creating-release-tarballs_.dpatch
Type: text/x-darcs-patch
Size: 76765 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100112/b7da8f0b/attachment-0001.bin>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: unnamed
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100112/b7da8f0b/attachment-0001.diff>


More information about the darcs-users mailing list