Merge branch '135-link-zum-pdf' into 'development'

Resolve "Link zum PDF"

Closes #135

See merge request !26
8 jobs for development in 56 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Tests
passed #288668
floki_development
tests

00:00:09

 
  Clone
passed #288669
floki_development
clone_pages

00:00:40

 
  Pdf
failed #288670
build_pdf

00:00:06

 
  Pages
skipped #288671
build_pages
 
  Review
skipped #288672
floki_development
start_review
skipped #288673
floki_development allowed to fail manual
stop_review
 
  Linkchecker
skipped #288675
allowed to fail manual
linkchecker:all
skipped #288674
allowed to fail manual
linkchecker:intern
 
Name Stage Failure
failed
build_pdf Pdf
Running with gitlab-runner 12.2.0 (a987417a)
on tanis 29876808
Using Docker executor with image docker.rz.tu-harburg.de:5000/docker/gitbook:node ...
Authenticating with credentials from /root/.docker/config.json
Pulling docker image docker.rz.tu-harburg.de:5000/docker/gitbook:node ...
ERROR: Job failed: Error response from daemon: manifest for docker.rz.tu-harburg.de:5000/docker/gitbook:node not found: manifest unknown: manifest unknown (executor_docker.go:192:0s)