diff options
-rw-r--r-- | man/systemd-boot.xml | 2 | ||||
-rwxr-xr-x | tools/make-directive-index.py | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/man/systemd-boot.xml b/man/systemd-boot.xml index 44b0f61f22..4c914e6156 100644 --- a/man/systemd-boot.xml +++ b/man/systemd-boot.xml @@ -243,7 +243,7 @@ UUID <literal>4a67b082-0a4c-41cf-b6c7-440b29bb8c4</literal>, for communication between the OS and the boot loader:</para> - <variablelist> + <variablelist class='efi-variables'> <varlistentry> <term><varname>LoaderBootCountPath</varname></term> <listitem><para>If boot counting is enabled, contains the path to the file in whose name the boot counters are diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 51f1d514fc..9d9448703f 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -53,6 +53,16 @@ TEMPLATE = '''\ </refsect1> <refsect1> + <title>EFI variables</title> + + <para>EFI variables understood by + <citerefentry><refentrytitle>systemd-boot</refentrytitle><manvolnum>7</manvolnum></citerefentry> + and other programs.</para> + + <variablelist id='efi-variables' /> + </refsect1> + + <refsect1> <title>UDEV directives</title> <para>Directives for configuring systemd units through the |