search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
170 stars 28 forks source link

correct path for pdf #45

Closed mo271 closed 2 months ago

mo271 commented 2 months ago

I think this needs to be corrected, at least when trying out the blueprint here: https://firsching.ch/formal_book/ I needed to change the url.

mo271 commented 2 months ago

... still need to investigate what exactly went wrong here

mo271 commented 2 months ago

This works now for my site, when setting baseurl and url correctly in _config.yml