fix documentation file extensions