1<?php
2/**
3 * Default settings for the Mizar Verifiable Docs Plugin
4 *
5 * @author Yamada, M. <yamadam@mizar.work>
6 */
7
8 $conf['mizar_work_dir'] = '/var/www/html/mizarwork/';
9 $conf['mizar_share_dir'] = '/usr/local/share/mizar/';
10 $conf['mizar_exe_dir'] = '/usr/local/bin/';