John MacFarlane
John MacFarlane
This will lead to somewhat strange output, then, with curly quotes for apostrophes and straight quotes for quotes.
In the case of djot, the parsed AST stores the original text, and the djot renderer just emits that again: ``` smart_punctuation: (node : SmartPunctuation) => { this.lit(node.text); }, ```...
They are parsed as having the SingleParen style, but unfortunately there isn't an easy way to make HTML output that.
I'm open to supporting this in the standard template if someone can make precise the CSS/HTML changes required.
Pandoc has its own source-code highlighting (and no support for lean4 at the moment). If you are doing your own highlighting, then just use `--no-highlight` and you'll get consistent output...
As noted in the linked issue: I don't want to integrate a completion script that is mostly manually written. If it can be done in a template form like the...
Moreover, zsh wants concise half-line descriptions, and MANUAL.txt won't provide those.
@jidanni Isn't that a Debian packaging issue rather than anything specific to this project? We do provide a way to get shell completions, but the system has to be set...
That's right, the identifiers used for backlinks need to be made unique with a suffix or something. And I guess we need multiple backlinks in these cases.
The pdf-via-latex route disables the `smart` extension on the pandoc writer, so that unicode quotes are used. https://github.com/jgm/pandoc/blob/main/src/Text/Pandoc/PDF.hs#L123-L127