id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
5,Print an error message when given -optghc  instead of --optghc,waern,,"Since the flag --optghc is so similar to GHC's -optghc, and -optghc is interpreted as the -o flag with an argument (making Haddock silently accept it), it would good to give a warning message in this particular case to avoid mistakes.",enhancement,new,trivial,,,,,