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

[Frédéric Bron]

>> 1. where the documentation goes (where should I find index.html to
>> browse the doc that was built; I went to out-www but index.html does
>> not work)
>
> What do you mean "does not work"?  It's fine here, other than the
> broken xrefs for general.texi

When I try to open out-www/index.html, I get the following error:
cannot find out-www/Documentation/index.html

which is normal because directory Documentation does not exist in out-www.
Instead I have to go to out-www/offline-root/index.html

But then to find the notation manual is hard: many links are broken:
If I click on Manuals (top) then Notation (in regular use) then
Notation (in read it) I get this error:
cannot find out-www/offline-root/notation/index.html#Top

It works if I click on Notation (split HTML) (in all formats).

Well I am a bit lost...

Frédéric