diff options
Diffstat (limited to 'src/Text/Pandoc/Writers/Texinfo.hs')
| -rw-r--r-- | src/Text/Pandoc/Writers/Texinfo.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Writers/Texinfo.hs b/src/Text/Pandoc/Writers/Texinfo.hs index 4a4dde461..7bec145c5 100644 --- a/src/Text/Pandoc/Writers/Texinfo.hs +++ b/src/Text/Pandoc/Writers/Texinfo.hs @@ -231,7 +231,8 @@ blockToTexinfo (Header level _ lst) node <- inlineListForNode lst txt <- inlineListToTexinfo lst idsUsed <- gets stIdentifiers - let id' = uniqueIdent lst idsUsed + opts <- gets stOptions + let id' = uniqueIdent (writerExtensions opts) lst idsUsed modify $ \st -> st{ stIdentifiers = Set.insert id' idsUsed } sec <- seccmd level return $ if (level > 0) && (level <= 4) |