NAME

       matitac - Matita interative theorem prover - batch compiler

SYNOPSIS

       matitac [ OPTION ... ] FILE

DESCRIPTION

       Matita batch compiler v0.99.1

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

       -debug Do not catch top-level exception (useful for backtrace inspection)

       -onepass Enable only one disambiguation pass

       -help  Display this list of options

       --help Display this list of options