Correct documentation for pxe_default_server, pxe_default_gatway and
pxe_blksize. Only pxe_default_server is actually used (alias for
net_default_server). So, capture this and remove the other two.
Fixes: https://savannah.gnu.org/bugs/?54480
Signed-off-by: Andrew Hamilton <adhamilt@gmail.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
The default server used by network drives (@pxref{Device syntax}). Read-write,
although setting this is only useful before opening a network device.
+@item pxe_default_server
+This performs the same function as @samp{net_default_server}.
+
@end table
* net_default_server::
* pager::
* prefix::
-* pxe_blksize::
-* pxe_default_gateway::
* pxe_default_server::
* root::
* shim_lock::
for many parts of GRUB to work.
-@node pxe_blksize
-@subsection pxe_blksize
-
-@xref{Network}.
-
-
-@node pxe_default_gateway
-@subsection pxe_default_gateway
-
-@xref{Network}.
-
-
@node pxe_default_server
@subsection pxe_default_server