[patch] skip libm texi generation if perl is not installed

[Roland McGrath]

You should arrange not to build the manual at all if you can't build it right.