sourCEntral - mobile manpages

pdf

MATITADEP

NAME

matitadep − Matita interative theorem prover - dependency analyzer

SYNOPSIS

matitadep [ OPTION ... ]

DESCRIPTION

Matita depency file generator v0.5.3

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

−v Verbose mode

−−version Prints version

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

−stdout Print dependences on stdout

−help

Display this list of options

−−help

Display this list of options

pdf