copy cp-tools.texinfo from here replaced:
https://android.googlesource.com/toolchain/gcc/+/8f1de4de0978607f2b8ee90077df34ee33e9555b/gcc-4.6/libjava/classpath/doc/cp-tools.texinfo