leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
204 stars 47 forks source link

Pdf is not including images from markdown #116

Open bernborgess opened 9 months ago

bernborgess commented 9 months ago

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

jkr26 commented 4 months ago

+1, ran into this myself