From 175c57a966223490a7d195a8bdd37cac06f18110 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 6 Oct 2019 09:32:45 -0700
Subject: [PATCH] Clarify that --dpi provides a default and doesn't override...

dpi values specified in the images themselves.  See #5721.
---
 MANUAL.txt | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 5c592bcea..98970c14f 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -733,9 +733,12 @@ header when requesting a document from a URL:
 
 `--dpi`=*NUMBER*
 
-:   Specify the dpi (dots per inch) value for conversion from pixels
-    to inch/centimeters and vice versa. The default is 96dpi.
-    Technically, the correct term would be ppi (pixels per inch).
+:   Specify the default dpi (dots per inch) value for conversion
+    from pixels to inch/centimeters and vice versa. (Technically,
+    the correct term would be ppi: pixels per inch.) The default
+    is 96dpi.   When images contain information about dpi
+    internally, the encoded value is used instead of the default
+    specified by this option.
 
 `--wrap=auto`|`none`|`preserve`