<?php
var_dump('vendor/bin/condorcet-doc "'.__DIR__.'/Documentation/"');
    shell_exec('vendor/bin/condorcet-doc "'.__DIR__.'/Documentation/"');
<?php
    $cmd = 'vendor/bin/condorcet-doc "'.__DIR__.'/Documentation"';
    $cmd = str_replace('/', DIRECTORY_SEPARATOR, $cmd);

    shell_exec($cmd);
Fix update documentation (need more tests)
Fix update documentation (need more tests)
