The page at Petalinux-Tools-Install has been moved to PetaLinux-Tools-Installation.