tamarin-prover / manual

Tamarin prover manual: source files

Home Page:https://tamarin-prover.github.io/manual

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cannot compile due to pandoc-citeproc error

katrielalex opened this issue · comments

On Debian, make (or minimal example pandoc --bibliography=src/manual.bib src/005_protocol-specification.md) gives me a citeproc error:

> pandoc --bibliography=src/manual.bib src/005_protocol-specification.md 
pandoc-citeproc: "stdin" (line 9, column 2):
unexpected "i"
expecting "c", "C", "p", "P", "s" or "S"
pandoc: Error running filter pandoc-citeproc

This corresponds to the i of @inproceedings in the bibtex; Googling seems to indicate that @inproceedings isn't supported. Perhaps I have an old version of bibutils?

pandoc version = 1.12.2.1
pandoc-citeproc version = 0.2

Fixed.