up previous next
ReloadMan

Reload CoCoAManual/CoCoAHelp.xml

Syntax
ReloadMan()

Description
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 (instead of closing and re-opening CoCoA...).

It is useful only for developers working on the manual and making substantial changes to CoCoAHelp.xml .

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.

Example
/**/  ReloadMan();