doc from lib to doc, dir for gravis