up previous next
Reload CoCoAManual/CoCoAHelp.xml
This function reloads the xml source of the manual
CoCoAHelp.xml
(in directory
CoCoAManual
) and recreates the internal manual
index in a running CoCoA-5.
It is necessary when a substantial change has been made
to
CoCoAHelp.xml
(such as a new entry been added) and the
index needs updating.
If the change is 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.