Doc: Allow overriding $SGML_CATALOG_FILES using distribution specific paths

32 jobs from int-new in 6 minutes and 18 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Image
passed #201692
dind allowed to fail
docker_centos-6-amd64

00:00:24

passed #201693
dind allowed to fail
docker_centos-7-amd64

00:00:25

passed #201682
dind allowed to fail
docker_debian-7-amd64

00:00:24

passed #201686
dind allowed to fail
docker_debian-7-i386

00:00:26

passed #201683
dind allowed to fail
docker_debian-8-amd64

00:00:24

passed #201687
dind allowed to fail
docker_debian-8-i386

00:00:24

passed #201684
dind allowed to fail
docker_debian-9-amd64

00:00:24

passed #201688
dind allowed to fail
docker_debian-9-i386

00:00:24

passed #201685
dind allowed to fail
docker_debian-testing-amd64

00:00:26

passed #201689
dind allowed to fail
docker_debian-testing-i386

00:00:25

passed #201690
dind allowed to fail
docker_fedora-25-amd64

00:00:24

passed #201691
dind allowed to fail
docker_fedora-26-amd64

00:00:25

passed #201694
dind allowed to fail
docker_opensuse-42_3-amd64

00:00:25

passed #201695
dind allowed to fail
docker_ubuntu-14_04-amd64

00:00:25

passed #201696
dind allowed to fail
docker_ubuntu-16_04-amd64

00:00:26

 
  Build
passed #201703
docker linux amd64
build-centos-6-amd64

00:00:59

passed #201704
docker linux amd64
build-centos-7-amd64

00:01:02

passed #201697
docker linux amd64
build-debian-7-amd64

00:01:03

passed #201708
docker linux amd64
build-debian-7-i386

00:00:46

passed #201698
docker linux amd64
build-debian-8-amd64

00:01:03

passed #201709
docker linux amd64
build-debian-8-i386

00:00:49

passed #201699
docker linux amd64
build-debian-9-amd64

00:01:04

passed #201710
docker linux amd64
build-debian-9-i386

00:00:52

passed #201700
docker linux amd64
build-debian-testing-amd64

00:01:06

passed #201711
docker linux amd64
build-debian-testing-i386

00:00:54

passed #201701
docker linux amd64
build-fedora-25-amd64

00:01:04

passed #201702
docker linux amd64
build-fedora-26-amd64

00:01:02

passed #201712
freebsd amd64
build-freebsd-11-amd64

00:04:55

passed #201713
freebsd i386
build-freebsd-11-i386

00:04:07

passed #201705
docker linux amd64
build-opensuse-42_3-amd64

00:01:03

passed #201706
docker linux amd64
build-ubuntu-14_04-amd64

00:01:02

passed #201707
docker linux amd64
build-ubuntu-16_04-amd64

00:00:46