kernel-install: note the default $PRETTY_NAME if os-release wasn't found and that...

diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index e60e4ace82812087aab22cc763bc34d57559bad2..aade1c3eead7702f4cc68a18984f0f5ec0e7618d 100644 (file)
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -224,7 +224,9 @@
           <filename>/usr/lib/os-release</filename>
         </term>
           <listitem>
-            <para>The content of the file specifies the operating system title <replaceable>PRETTY_NAME</replaceable>.</para>
+            <para>Read by <filename>90-loaderentry.install</filename>.
+            If available, <varname>PRETTY_NAME</varname> is read from these files and used as the title of the boot menu entry.
+            Otherwise, <literal>Linux <replaceable>KERNEL-VERSION</replaceable></literal> will be used.</para>
           </listitem>
       </varlistentry>
     </variablelist>