updated deployment; updated descr

6 jobs for master in 12 minutes and 30 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #48567
build_source_and_binary

00:02:15

0.0%
passed #48565
check

00:02:49

0.0%
failed #48566
allowed to fail
create_manual

00:02:12

1.12%
passed #48568
testing

00:02:34

12.5%
 
  Deploy
passed #48570
deploy_docker

00:09:40

0.0%
passed #48569
install

00:02:21

0.0%
 
Name Stage Failure
failed
create_manual Build
Output written on Rd2.pdf (8 pages, 111162 bytes).
Transcript written on Rd2.log.
/usr/bin/texi2dvi: 366: makeindex: not found
Error in running tools::texi2pdf()
Error: Failed to build manual
Execution halted
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1