Scripts tools_wikidoc_git
This (internal) tool writes the Wikipedia rticles to the ORCA GIT Wiki. (dont try it yourself)
The following command line arguments / environment vars can be used to initialize the script settings
--wikiapp: Set the WWW server address for the ORCA Wikipedia (can be passed as ORCAWIKISERVER environment var --wikigittargetfolder: Output Folder for the pages files