xref: /plugin/mizarverifiabledocs/conf/metadata.php (revision 3f7dd076be52992d1f40215ecd797f9d17132992)
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