$Directory DOC: is [PRAXISDOC]