You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This change introduces a new 'external tool' named 'Export to PDF'. Basically a
shell script that calls 'Pandoc' to convert the markdown file to PDF.
Also added a check to verify that we do have Pandoc installed.
Noticed that there is a 'Export to HTML', but not a 'Export to PDF'.
Would be awesome to have. Working on an implementation as we speak.
The text was updated successfully, but these errors were encountered: