[Lazarus] Building the Lazarus docs

[Felipe Monteiro de Carvalho]

On Thu, Apr 24, 2008 at 3:27 PM, Vincent Snijders <vsnijders at quicknet.nl> wrote:
>  Feel free to rename them, I will update my script.

And what about moving them to docs/ instead of docs/html?

What do you think about this idea?

thanks,
-- 
Felipe Monteiro de Carvalho