Defeat race with texinfo tools built with make bootstrap-tools
Defeat race with texinfo tools built with make bootstrap-tools

This is a direct commit to stable/10 because texinfo has been removed from
head

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase