config.ld

--[[ config.ld -- ldoc setup.
     Copyright (C) 2017 PUC-Rio/Laboratorio TecMF

This file is part of GraphProver.

GraphProver is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

GraphProver is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GraphProver.  If not, see <http://www.gnu.org/licenses/>.  ]]--

project = 'GraphProver'
description = 'A graph based prover'
title = 'GraphProver Documentation'
file = 'graphprover'

format = 'markdown'
kind_names = {topic='Manual', module='Libraries'}
merge = true
sort = true
sort_modules=true
style = '!fixed'
use_markdown_titles = true

-- Local Variables:
-- mode: lua
-- End: