up previous next
This function reloads the xml source of the manual
) and recreates the internal manual
index in a running CoCoA-5 (instead of closing and re-opening CoCoA....).
It is useful only for developers
working on the manual and making
substantial changes to
After adding a new entry the index needs updating, but
if the change is just in the description of an existing entry (so the
internal index is still valid) there is no need to reload the manual:
the description is always searched in the current file.