mirror of https://github.com/zcash/halo2.git
book: Make PDF rendering optional
PDF book rendering is slow, so don't require it if the developer doesn't have mdbook-pdf installed.
This commit is contained in:
parent
d771a48f68
commit
53639f9cc3
|
@ -23,9 +23,11 @@ renderers = ["html"]
|
|||
page-break = false
|
||||
|
||||
[output.pdf]
|
||||
optional = true
|
||||
display-header-footer = true
|
||||
header-template = "<span></span>"
|
||||
footer-template = "<p style='font-size:10px; margin-left: 48%'><span class='pageNumber'></span> / <span class='totalPages'></span></p>"
|
||||
|
||||
[output.pdf-outline]
|
||||
optional = true
|
||||
like-wkhtmltopdf = false
|
||||
|
|
Loading…
Reference in New Issue