$(HOME)
@SRCROOT@/matita/.matita nobody
@DBHOST@ helm matita
.matita/getter/cache cic:/matita/ file://$(matita.basedir)/xml/matita/ cic:/ file:///does_not_exists/ legacy