xref: /plugin/mizarverifiabledocs/conf/default.php (revision 3f7dd076be52992d1f40215ecd797f9d17132992) 
1<?php
2/**
3 * Default settings for the Mizar Verifiable Docs Plugin
4 *
5 * @author Yamada, M. <yamadam@mizar.work>
6 */
7
8 /* Mizar 本体ディレクトリ */
9$conf['mizar_work_dir']  = '/var/www/html/mizarwork/';
10$conf['mizar_share_dir'] = '/usr/local/share/mizar/';
11$conf['mizar_exe_dir']   = '/usr/local/bin/';
12
13/* Python 実行パス（空ならシステム PATH の python を使用） */
14$conf['py_cmd'] = '';  // 例 "C:\\venvs\\mizar\\Scripts\\python.exe"