Error
The Info node
net_<interface>_dhcp_server_name
in Info file
/usr/share/info/grub.info.gz
does not exist.