On Monday, 28 Jun 2021 at 08:28, Sébastien Miquel wrote: > Léo Ackermann writes: >> @EricSFrada, would you mind sharing your code for your proof sections ? > This functionality is now built-in: headings with an `ignore' tag do > not get exported (their contents do). For very large proof, this seems > like the right thing to do.
Ah, maybe this is what Leo was referring to. I may have misunderstood. Yes, it seems that org now does process :ignore: tags, I guess. I've been using my own code to ignore headings for so long that I did not realise this! -- : Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-571-gc591be : Latest paper written in org: https://arxiv.org/abs/2106.05096
