Changed from Info-default-directory-list to Info-additional-directory-list