$(HOME)

@SRCROOT@/matita/.matita nobody

@DBHOST@ helm matita

.matita/getter/cache cic:/matita/ file://$(matita.basedir)/xml/matita/ cic:/ file:///does_not_exists/ legacy