Seite verlinken, ohne Google-Rang zu «pushen»

Manchmal muss man aus Dokumentationsgründen auf eine Seite verlinken, möchte aber nicht, dass sie dadurch im Google-Ranking steigt.