6957b8ed8b
This reverts commit 3e7649f01b.
turns out that home-manager depends on it, and restoring this patch for
now seems preferrable to breaking home-manager until they move away from
docbook for their manpage generation.