Open cburgard opened 1 year ago
People don't seem to have strong opinions on this. I would go with Markdown, just because I know it a lot better. Are any advocates for pandoc (or any other option) around to make their point?
Pandoc is a document processing tool that can convert between many different format. I suppose it was mentioned as a tool to convert the existing document. It also has its own Markdown dialect.
As has been discussed in the meetings in April of 2023, it would be advantageous going forward to move away from the current LaTeX document and towards a simpler solution for documenting the standard.
One suggested option was pandoc, but other options are possible as well.