Changes between Version 1 and Version 2 of Ticket #109

Show
Ignore:
Timestamp:
05/15/07 04:14:27 (6 years ago)
Author:
ross@…
Comment:

--enable-haddock-use-packages and --disable-haddock-use-packages are gone.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #109 – description

    v1 v2  
    11The following options are not documented in the User's Guide: 
    2  * --enable-haddock-use-packages / --disable-haddock-use-packages 
    32 * --enable-library-for-ghci / --disable-library-for-ghci 
    43 * --enable-library-vanilla / --disable-library-vanilla