Documentation main file introduced