Well, the install_module handles module.pmod -> Module.pmod/module.pmod transforms and some other stuff. But I guess it could then use install instead of cp, which of course copies the file correctly.
On Tue, 27 May 2014, Martin Nilsson (Opera Mini - AFK!) @ Pike (-) developers forum wrote:
Shouldn't you use install(1) for this?