diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-10-08 21:33:25 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-10-08 21:33:25 -0700 |
| commit | f8879ee0a1f00bcf1ead9dce0576c381cbcae778 (patch) | |
| tree | b567103ab8dd698acf90ecba93d1d0c2903cee39 /src/Text/Pandoc/Logging.hs | |
| parent | a92e43575fb44c47263603b1dc5db9ef4f7421d3 (diff) | |
| download | pandoc-f8879ee0a1f00bcf1ead9dce0576c381cbcae778.tar.gz | |
Add helpful suggestion to missing title warning.
Tell users what to add to the command line to avoid the warning.
Closes #4909.
Diffstat (limited to 'src/Text/Pandoc/Logging.hs')
| -rw-r--r-- | src/Text/Pandoc/Logging.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Logging.hs b/src/Text/Pandoc/Logging.hs index 4b025821c..675396067 100644 --- a/src/Text/Pandoc/Logging.hs +++ b/src/Text/Pandoc/Logging.hs @@ -292,7 +292,8 @@ showLogMessage msg = "Extracting " ++ fp ++ "..." NoTitleElement fallback -> "This document format requires a nonempty <title> element.\n" ++ - "Please specify either 'title' or 'pagetitle' in the metadata.\n" ++ + "Please specify either 'title' or 'pagetitle' in the metadata,\n" ++ + "e.g. by using --metadata pagetitle=\"...\" on the command line.\n" ++ "Falling back to '" ++ fallback ++ "'" NoLangSpecified -> "No value for 'lang' was specified in the metadata.\n" ++ |