diff options
| author | Julia Diaz <julia.diaz@gmail.com> | 2023-09-05 01:09:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-04 16:09:38 -0700 |
| commit | a267b83bc83b8d1a46c38dbe7e88f153e1d7664d (patch) | |
| tree | b77dd1937849a142daa382fedb408b83b177b6b4 /src | |
| parent | c017bbed581dddc74766471e8fbcc5c6e53638a7 (diff) | |
JATS reader: Ignore `<processing-meta>` element (#9057)
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Readers/JATS.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Readers/JATS.hs b/src/Text/Pandoc/Readers/JATS.hs index 7d93da547..af7f4b536 100644 --- a/src/Text/Pandoc/Readers/JATS.hs +++ b/src/Text/Pandoc/Readers/JATS.hs @@ -201,6 +201,7 @@ parseBlock (Elem e) = do "journal-meta" -> parseMetadata e "article-meta" -> parseMetadata e "custom-meta" -> parseMetadata e + "processing-meta" -> return mempty "title" -> return mempty -- processed by header "label" -> return mempty -- processed by header "table" -> parseTable |