set -e
	# only update manual page index caches when manual files are built and installed
	if false; then
		mandb -q
	fi