matitadep1

Usage

Overview

Matita depency file generator v0.5.8

Options

-b <path::uri> forces the baseuri of path

-I <path> Adds path to the list of searched paths for the include command

-conffile <filename> Read configuration from filename

Default: debian/tmp/usr/share/matita//matita.conf.xml

-force Force actions that would not be executed per default

-noprofile Turns off profiling printings

-noinnertypes Turns off inner types generation while publishing

-profile-only Activates only profiler with label matching the provided regex

-system Act on the system library instead of the user one

WARNING: not for the casual user

-no-default-includes Do not include the default searched paths for the include command

-execcomments Execute the content of (** ... *) comments

-v Verbose mode

--version Prints version

-dot Save dependency graph in dot format and generate a png

-stdout Print dependences on stdout

-theory <name> generate a theory file <name>.ma (it includes all other files)

-help

Display this list of options

--help

Display this list of options