New comment by HiPhish on void-packages repository https://github.com/void-linux/void-packages/pull/34730#issuecomment-1002125622 Comment: I think I have solved the issue, at least in a hacky way. Everything (including manuals) gets built, but then I move all the Info manual files into a separate directory. That way they won't get picked up by the installer script. In the `sbcl-doc` subpackage I manually copy the Info files over from the custom directory instead. If anyone has a better idea let me know, but that's the least hacky way I could think of. One downside though: the Info files do not get compressed automatically by XBPS. Alternatively we could just ship the manual as part of the main package, that would be one like of code in the build function.