fix names of installed documentation files