lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Pdf is not including images from markdown

Open bernborgess opened this issue 8 months ago • 1 comments

Exporting the book in

A PDF is available here for download (and is rebuilt on each change).

Is generating a PDF which does not contain the images. A first example of this can be seen in "Connection to Compilers"

image

Which is not showing the diagram, that is available in the markdown file:

image

As with all the following diagrams and images

bernborgess avatar Oct 27 '23 14:10 bernborgess