fix documentation filenames for use in parent projects