#516, maintains a per-user index of haddock docs
If the haddock-index flag is set it keeps an index of the haddock documentation of the packages in the global and user databases
Please register or sign in to comment
If the haddock-index flag is set it keeps an index of the haddock documentation of the packages in the global and user databases