Man Linux: Main Page and Category List


       matitadep - Matita interative theorem prover - dependency analyzer


       matitadep [ OPTION ... ]


       Matita depency file generator v0.5.8


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

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

       -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

       -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

       -help  Display this list of options

       --help Display this list of options