fix documentation file extension