Allow user packages in 'make doc' #6265

Job	Run time
Cross compiler for s390x	45m 0s
Test in OpenBSD	9m 8s
testinstall - - ubuntu-latest	5m 24s
teststandard - - ubuntu-latest	20m 31s
testmanuals - - ubuntu-latest	5m 53s
testexpect testmockpkg testspecial test-compile testlibgap testkernel testworkspace - - ubuntu-latest	8m 14s
testpackages testinstall-loadall - - ubuntu-latest	28m 20s
makemanuals testmakeinstall - CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest	8m 7s
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-22.04	19m 44s
testinstall - HPCGAP=yes ABI=64 - ubuntu-latest	10m 8s
testmockpkg testinstall testworkspace - BOOTSTRAP_MINIMAL=yes - macos-latest	7m 48s
testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest	30m 11s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest	5m 39s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-22.04	4m 14s
testinstall - JULIA=yes CONFIGFLAGS="--enable-debug" - ubuntu-22.04	5m 58s
testmockpkg testinstall - - windows-2019	17m 42s
Send Slack notification on status change	0s
	3h 52m 1s

Provide feedback