diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-19 22:40:43 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-19 22:40:43 -0700 |
| commit | d6b60002174acf4112eb008b55fd0828db84e4ee (patch) | |
| tree | f477713e09a1c8a215db80c59e6a49876b8a263d /src/Text/Pandoc | |
| parent | e435943ed4358b725cda019817c532099614fd9f (diff) | |
| download | pandoc-d6b60002174acf4112eb008b55fd0828db84e4ee.tar.gz | |
Clarify warning for missing title.
Closes #5760.
Diffstat (limited to 'src/Text/Pandoc')
| -rw-r--r-- | src/Text/Pandoc/Logging.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Text/Pandoc/Logging.hs b/src/Text/Pandoc/Logging.hs index 4e2d6f1b5..1178df1b3 100644 --- a/src/Text/Pandoc/Logging.hs +++ b/src/Text/Pandoc/Logging.hs @@ -290,9 +290,9 @@ 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" ++ - "e.g. by using --metadata pagetitle=\"...\" on the command line.\n" ++ - "Falling back to '" ++ fallback ++ "'" + "Defaulting to '" ++ fallback ++ "' as the title.\n" ++ + "To specify a title, use 'title' in metadata or " ++ + "--metadata title=\"...\"." NoLangSpecified -> "No value for 'lang' was specified in the metadata.\n" ++ "It is recommended that lang be specified for this format." |