Skip to content

Use the latest version in /doc for authors, cite, license

Christoph Groth requested to merge deduplicate into master

Also, remove "authors" from the navigation bar in favor of the footer (that should be enough).

Together with the modifications to /install this fixes !5 (merged).

Merge request reports