summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
Diffstat (limited to 'man')
-rw-r--r--man/machine-id.xml2
-rw-r--r--man/os-release.xml10
2 files changed, 6 insertions, 6 deletions
diff --git a/man/machine-id.xml b/man/machine-id.xml
index 98c09436ba..d0bfbd240d 100644
--- a/man/machine-id.xml
+++ b/man/machine-id.xml
@@ -64,7 +64,7 @@
random source during system installation and stays
constant for all subsequent boots. Optionally, for
stateless systems it is generated during runtime at
- boot.</para>
+ boot if it is found to be empty.</para>
<para>The machine ID does not change based on user
configuration, or when hardware is replaced.</para>
diff --git a/man/os-release.xml b/man/os-release.xml
index 1e4c067c1b..d8a45b303f 100644
--- a/man/os-release.xml
+++ b/man/os-release.xml
@@ -165,11 +165,11 @@
</varlistentry>
</variablelist>
- <para>If you interpreting this file from code or a
- shell script, use the ID and VERSION_ID fields. When
- looking for an OS identification string for
- presentation to the user use the PRETTY_STRING
- field.</para>
+ <para>If you are reading this file from code or a
+ shell script to determine the OS or a specific version
+ of it, use the ID and VERSION_ID fields. When looking
+ for an OS identification string for presentation to
+ the user use the PRETTY_NAME field.</para>
<para>Note that operating system vendors may choose
not to provide version information, for example to