debian man page for matitac

MATITAC(1)							   User Commands							MATITAC(1)

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

matitac 0.99.1							     May 2012								MATITAC(1)