<?php
/**
 * Options for the Mizar Verifiable Docs Plugin
 *
 * @author Yamada, M. <yamadam@mizar.work>
 */

 $meta['mizar_work_dir'] = array('string');
 $meta['mizar_share_dir'] = array('string');
 $meta['mizar_exe_dir'] = array('string');

$meta['py_cmd']     = array('string');