up previous next
This function reloads the xml source of the manual
) 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
But if the change is just in the description of an existing entry (so the
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
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"]);