---
name: "matitadep"
section: "1"
platform: "linux"
package: "matita"
version: "0.5.8-2+b1"
release: "Debian 6.0 (Squeeze)"
platforms: ["linux"]
url: "https://new.carta.tech/matitadep"
---

# matitadep(1)

Matita interative theorem prover - dependency analyzer

## NAME

matitadep - Matita interative theorem prover - dependency analyzer

## SYNOPSIS

**matitadep** \[ *OPTION* ... \]

## DESCRIPTION

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