Skip to content

Instantly share code, notes, and snippets.

@diamond-lizard
Created November 3, 2017 20:41
Show Gist options
  • Save diamond-lizard/3988d64660cec0513460c9b25b479b22 to your computer and use it in GitHub Desktop.
Save diamond-lizard/3988d64660cec0513460c9b25b479b22 to your computer and use it in GitHub Desktop.
How to tell pandoc to remove div's and IDs from org-mode output
-- If you want pandoc to remove all divs and delete all IDs from its org-mode output,
-- use pandoc's `--lua-filter` option and pass it the following lua script.
-- For more information see https://pandoc.org/lua-filters.html
function Header (elem)
elem.identifier = ""
return elem
end
function Div (elem)
return elem.content
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment