Merge branch '9.13.3-dev-build-doc' into 'master'

Update documentation (ARM, READMEs and man pages)

See merge request !744
26 jobs for master in 7 minutes and 48 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Precheck
passed #52193
linux docker amd64
precheck:debian:sid:amd64

00:00:16

 
  Build
passed #52194
linux docker amd64
build:centos:centos6:amd64

00:02:20

passed #52195
linux docker amd64
build:centos:centos7:amd64

00:02:35

passed #52196
linux docker amd64
build:clang:debian:stretch:amd64

00:01:48

passed #52200
linux docker i386
build:clang:debian:stretch:i386

00:01:29

passed #52197
linux docker amd64
build:debian:jessie:amd64

00:01:30

passed #52199
linux docker amd64
build:debian:sid:amd64

00:01:46

passed #52201
linux docker i386
build:debian:sid:i386

00:01:39

passed #52198
linux docker amd64
build:debian:stretch:amd64

00:01:46

passed #52202
linux docker amd64
pkcs11:build:debian:sid:amd64

00:01:49

 
  Test
passed #52216
linux docker amd64
install:debian:sid:amd64

00:01:50

passed #52218
linux docker amd64
pkcs11:systemtest:debian:sid:amd64

00:04:38

passed #52217
linux docker amd64
pkcs11:unittest:debian:sid:amd64

00:00:43

passed #52210
linux docker amd64
systemtest:centos:centos6:amd64

00:04:45

passed #52211
linux docker amd64
systemtest:centos:centos7:amd64

00:04:35

passed #52212
linux docker amd64
systemtest:debian:jessie:amd64

00:04:56

passed #52214
linux docker amd64
systemtest:debian:sid:amd64

00:04:42

passed #52215
linux docker i386
systemtest:debian:sid:i386

00:04:56

passed #52213
linux docker amd64
systemtest:debian:stretch:amd64

00:04:42

passed #52203
linux docker amd64
unittest:centos:centos6:amd64

00:00:56

passed #52204
linux docker amd64
unittest:centos:centos7:amd64

00:00:56

passed #52208
linux docker amd64
unittest:clang:debian:stretch:amd64

00:00:48

passed #52205
linux docker amd64
unittest:debian:jessie:amd64

00:00:56

passed #52207
linux docker amd64
unittest:debian:sid:amd64

00:00:51

passed #52209
linux docker i386
unittest:debian:sid:i386

00:00:49

passed #52206
linux docker amd64
unittest:debian:stretch:amd64

00:00:50