up previous next
ReloadMan --
Reload CoCoAManual/CoCoAHelp.xml
|
ReloadMan()
ReloadMan(ListOfFiles: LIST)
|
This function reloads the xml source of the manual
CoCoAHelp.xml
(in directory
CoCoAManual) and the optional list of manual extensions:
it recreates the internal manual
index in a running CoCoA-5.
Some details: 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
because the descriptions are always read from disk.
NOTE: This function is useful for those who develop a CoCoA package
and want to test/add/offer its manual in proper CoCoA style. Such
manual extensions will be included in
CoCoAHelp.xml if the
package is generously offered for distribution with CoCoA :-)
/**/ ReloadMan(); // reloads the official manual only
/**/ // for loading manual extensions, official manual+ file1 + file2:
/**/ ReloadMan(["path1/file1.xml", "path2/file2.xml"]);
|