doc: fix doc file extension