search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

Fix pandoc problems #85

Closed rkunnema closed 2 years ago

rkunnema commented 2 years ago

Hi! This PR contains two small changes:

  1. Get rid of "missing field" warning messages by adding the --metadata title=.. flag to pandoc
  2. Update Makefile and latextemplate to be compatible with recent versions of pandoc (otherwise the bibliography does not work).
jdreier commented 2 years ago

Is this superseded by https://github.com/tamarin-prover/manual/pull/87 ?

rkunnema commented 2 years ago

Is this superseded by #87 ?

Yes!

jdreier commented 2 years ago

Merging this.