16b7e227cSYamadaMiz<?php 26b7e227cSYamadaMiz/** 3b68e3724SYamadaMiz * Default settings for the Mizar Verifiable Docs Plugin 46b7e227cSYamadaMiz * 5f9af2148SYamadaMiz * @author Yamada, M. <yamadam@mizar.work> 66b7e227cSYamadaMiz */ 76b7e227cSYamadaMiz 8*3f7dd076SYamadaMiz /* Mizar 本体ディレクトリ */ 947595f9cSYamadaMiz$conf['mizar_work_dir'] = '/var/www/html/mizarwork/'; 106b7e227cSYamadaMiz$conf['mizar_share_dir'] = '/usr/local/share/mizar/'; 116b7e227cSYamadaMiz$conf['mizar_exe_dir'] = '/usr/local/bin/'; 12*3f7dd076SYamadaMiz 13*3f7dd076SYamadaMiz/* Python 実行パス（空ならシステム PATH の python を使用） */ 14*3f7dd076SYamadaMiz$conf['py_cmd'] = ''; // 例 "C:\\venvs\\mizar\\Scripts\\python.exe"