Commit 1dc8f58c11af6af581ad329b233ffff788a832b1

Fix typo.
  
6767 provides to the configure script the sh variables with the name of
6868 the actor (<varname>$host</varname>, <varname>$build</varname> and
6969 <varname>$target</varname>), and three parameters with the same
70 name to the <filename>configure</filename> script so that hte user
70 name to the <filename>configure</filename> script so that the user
7171 can override the default discovered values.
7272 </para>
7373