| 
Created on 2008-09-19.05:54:52 by twb, last changed 2009-08-27.14:12:53 by admin. 
 
  
   | msg6049 (view) | Author: twb | Date: 2008-09-19.05:54:50 |  |  
   | Version: 2.0.3pre1
I wonder if it's sensible to mention haddock when not building docs.
./configure --without-docs
[...]
checking for haddock... no
checking haddock version... version 0
configure: WARNING: You need haddock 2.0.0 or later to build API docs |  
   | msg6075 (view) | Author: droundy | Date: 2008-09-21.12:36:49 |  |  
   | Haddock isn't used for building the docs that are referred to in --without-docs. |  
   | msg6076 (view) | Author: twb | Date: 2008-09-21.12:45:42 |  |  
   | On Sun, Sep 21, 2008 at 12:36:51PM -0000, David Roundy wrote:
> Haddock isn't used for building the docs that are referred to in
> --without-docs.
Would it be better to call it --without-manual, then? |  
   | msg6077 (view) | Author: droundy | Date: 2008-09-21.17:39:47 |  |  
   | On Sun, Sep 21, 2008 at 10:45:35PM +1000, Trent W. Buck wrote:
> On Sun, Sep 21, 2008 at 12:36:51PM -0000, David Roundy wrote:
> > Haddock isn't used for building the docs that are referred to in
> > --without-docs.
> 
> Would it be better to call it --without-manual, then?
Sure.
-- 
David Roundy
http://www.darcs.net |  
   | msg6082 (view) | Author: twb | Date: 2008-09-22.00:43:23 |  |  
   | Untested.
Mon Sep 22 10:26:02 EST 2008  Trent W. Buck <trentbuck@gmail.com>
  * Replace --without-docs with less ambiguous --without-manual (issue1082).
  It's confusing for ./configure --without-docs to complain about missing haddock. Attachments |  |
 
| Date | User | Action | Args |  | 2008-09-19 05:54:52 | twb | create |  |  | 2008-09-21 12:36:51 | droundy | set | priority: not-our-bug status: unread -> resolved
 messages:
  + msg6075
 nosy:
  + droundy, simon
 |  | 2008-09-21 12:45:44 | twb | set | status: resolved -> unknown nosy:
  droundy, kowey, dagit, simon, twb
 messages:
  + msg6076
 |  | 2008-09-21 17:39:49 | droundy | set | nosy:
  droundy, kowey, dagit, simon, twb messages:
  + msg6077
 |  | 2008-09-22 00:43:25 | twb | set | files:
  + replace-__without_docs-with-less-ambiguous-__without_manual-_issue1082__.dpatch, unnamed nosy:
  + darcs-users
 messages:
  + msg6082
 title: ./configure --without-docs still wants haddock? -> test patch
 |  | 2008-10-16 15:03:50 | droundy | set | status: unknown -> resolved nosy:
  + dmitry.kurochkin, thorkilnaur
 |  | 2009-08-06 18:00:23 | admin | set | nosy:
  + markstos, jast, Serware, darcs-devel, zooko, mornfall, tommy, beschmi, - darcs-users, droundy, twb |  | 2009-08-06 21:12:39 | admin | set | nosy:
  - beschmi |  | 2009-08-10 21:48:40 | admin | set | nosy:
  + twb, darcs-users, - tommy, markstos, darcs-devel, zooko, jast, Serware, mornfall |  | 2009-08-10 23:45:48 | admin | set | nosy:
  - dagit |  | 2009-08-25 17:25:03 | admin | set | nosy:
  + darcs-devel, - simon |  | 2009-08-27 14:12:53 | admin | set | nosy:
  darcs-users, kowey, darcs-devel, twb, thorkilnaur, dmitry.kurochkin | 
 |