extras/tools: disable automake documentation

It does not build for me, as it tries to use makeinfo/texinfo which is not installed and not part of the tools we require.