
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">

<HTML>

<HEAD>

  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">

  <META NAME="GENERATOR" CONTENT="GtkHTML/4.4.4">

</HEAD>

<BODY>

Hi Peter,<BR>

<BR>

I was about committing new changes to fix build issue and saw that you already have fix that.<BR>

<BR>

If you don't mind I'd like to change your patch slightly as follow (cf attached patch)<BR>

Please note that fpmake is a build tool which is compiled and ran on host while building the compiler (unless I'm confusing DEB_HOST_TARGET and DEB_BUILD_TARGET). But in any case, doc and fpmake should build for the same target I assume.<BR>

<BR>

Cheers,

</BODY>

</HTML>