Re: typo: duplicated "the"

[Karl Berry]

      * a reference to the the file INSTALL, which should in turn ...

thanks, will fix fix