16b7e227cSYamadaMiz<?php 26b7e227cSYamadaMiz/** 3b68e3724SYamadaMiz * Options for the Mizar Verifiable Docs Plugin 46b7e227cSYamadaMiz * 5f9af2148SYamadaMiz * @author Yamada, M. <yamadam@mizar.work> 66b7e227cSYamadaMiz */ 76b7e227cSYamadaMiz 86b7e227cSYamadaMiz $meta['mizar_work_dir'] = array('string'); 96b7e227cSYamadaMiz $meta['mizar_share_dir'] = array('string'); 106b7e227cSYamadaMiz $meta['mizar_exe_dir'] = array('string'); 11*3f7dd076SYamadaMiz 12*3f7dd076SYamadaMiz$meta['py_cmd'] = array('string'); 13