diff options
Diffstat (limited to 'documentation/ref-manual')
| -rw-r--r-- | documentation/ref-manual/ref-variables.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index e23d3ad816..3066df13a9 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml | |||
| @@ -3989,14 +3989,14 @@ | |||
| 3989 | 3989 | ||
| 3990 | <glossentry id='var-EFI_PROVIDER'><glossterm>EFI_PROVIDER</glossterm> | 3990 | <glossentry id='var-EFI_PROVIDER'><glossterm>EFI_PROVIDER</glossterm> |
| 3991 | <info> | 3991 | <info> |
| 3992 | EFI_PROVIDER[doc] = "When building bootable images (i.e. where hddimg, iso, or live is in IMAGE_FSTYPES), the EFI_PROVIDER variable specifies the EFI bootloader to use." | 3992 | EFI_PROVIDER[doc] = "When building bootable images (i.e. where hddimg, iso, or wic.vmdk is in IMAGE_FSTYPES), the EFI_PROVIDER variable specifies the EFI bootloader to use." |
| 3993 | </info> | 3993 | </info> |
| 3994 | <glossdef> | 3994 | <glossdef> |
| 3995 | <para role="glossdeffirst"> | 3995 | <para role="glossdeffirst"> |
| 3996 | <!-- <para role="glossdeffirst"><imagedata fileref="figures/define-generic.png" /> --> | 3996 | <!-- <para role="glossdeffirst"><imagedata fileref="figures/define-generic.png" /> --> |
| 3997 | When building bootable images (i.e. where | 3997 | When building bootable images (i.e. where |
| 3998 | <filename>hddimg</filename>, <filename>iso</filename>, | 3998 | <filename>hddimg</filename>, <filename>iso</filename>, |
| 3999 | or <filename>vmdk</filename> is in | 3999 | or <filename>wic.vmdk</filename> is in |
| 4000 | <link linkend='var-IMAGE_FSTYPES'><filename>IMAGE_FSTYPES</filename></link>), | 4000 | <link linkend='var-IMAGE_FSTYPES'><filename>IMAGE_FSTYPES</filename></link>), |
| 4001 | the <filename>EFI_PROVIDER</filename> variable specifies | 4001 | the <filename>EFI_PROVIDER</filename> variable specifies |
| 4002 | the EFI bootloader to use. | 4002 | the EFI bootloader to use. |
