grass/src/mapdev/v.out.mapinfo
