Tweaked installer, followup to [3286b5637f]. Result of manpage installation is now identical to before the [3286b5637f] change, while keeping the use of the embedded docs as source for it.