search

tamarin-prover / manual

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

Remove title warning #84

Closed rkunnema closed 2 years ago

rkunnema commented 2 years ago

Remove title warning

[WARNING] This document format requires a nonempty <title> element.
  Defaulting to '012_toolchains' as the title.
  To specify a title, use 'title' in metadata or --metadata title="...".

by setting a default title in the Makefile. Not sure if this has side-effects, but the warnings disappear and the HTML and PDF look alright to me.

rkunnema commented 2 years ago

Build log says: ``` UNSUPPORTED BUILD IMAGE

The build image for this site uses Ubuntu 14.04 Trusty Tahr, which is no longer supported.