change documentation file extension