for sect in 0 1 3; do
		sed -i "/^\.so /s/man${sect}p/man$sect/" man${sect}p/*
		mkdir -p "$DESTDIR"/usr/share/man/man${sect}
		mv man${sect}p/* "$DESTDIR"/usr/share/man/man$sect/
	done
	find "$DESTDIR"/usr/share/man -name "*.[0-9]" -o -name "*.[0-9]p" \
		| xargs gzip -9