Rename printf to printf.markdown