Re: how to do a minimalist rebuild of the documentation after minor changes?

[Frédéric Bron]

>> >> >> which is normal because directory Documentation does not exist in 
>> >> >> out-www.
>> >> > Yes, but out-www/index.html *does* exist.
>> >> It contains only a redirection to the file that does not exist:
>> >
>> > Sorry, I was unclear: Documentation/out-www/index.html should
>> > exist.
>>
>> You mean out-www/Documentation/index.html, right?
>
> No, I mean Documentation/out-www/index.html.  Did you even check
> for that file?

Yes, that one works! Thanks.
It would be nice if you could tell me where I can look to understand
the directory structure made by "make":

out, out-www, out-www/offline-root, Documentation/out, Documentation/out-www...

It is all confusing to me.

Regards,
Frédéric