gerrit.opencord.org / quagga / da9c9a24d09071c77843ce39f0470ba487c300bf / doc / texinfo.tex