darcs

Patch 1923 resolve issue2635: build/install man page only if we b...

Title resolve issue2635: build/install man page only if we b...
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2019-09-19.17:19:51 by bf, last changed 2019-09-25.21:05:28 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2019-09-19.17:19:51 text/x-darcs-patch
resolve-issue2635_-build_install-man-page-only-if-we-build-darcs-executable.dpatch bf, 2019-09-19.17:19:51 application/x-darcs-patch
unnamed bf, 2019-09-19.17:19:51 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21472 (view) Author: bf Date: 2019-09-19.17:19:51
1 patch for repository http://darcs.net/screened:

patch 1963d1f4c9c76abfc2451416488178b05485bd5a
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Sep 19 19:24:22 CEST 2019
  * resolve issue2635: build/install man page only if we build darcs executable
Attachments
msg21592 (view) Author: ganesh Date: 2019-09-25.18:45:05
Looks reasonable - but more complexity in Setup.hs strengthens
my view that we should aim to remove functionality from it, or
remove it altogether.
History
Date User Action Args
2019-09-19 17:19:51bfcreate
2019-09-20 14:49:47bfsetstatus: needs-screening -> needs-review
2019-09-25 18:45:05ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg21592
2019-09-25 21:05:28ganeshsetstatus: accepted-pending-tests -> accepted