Regenerated main documents into documents directory. More...
Go to the source code of this file.
Regenerated main documents into documents directory.
Definition in file regenerate_docs.php.