I believe that the rationale is that you should create a situation where a later module can be installed further down the tree without having to manipulate the directory structure first. I don't recall who did the implimentation (I'm pretty sure it wasn't me).
Bill
On Wed, 17 Nov 2004, Marcus Comstedt wrote:
Just make sure you agree with whomever invented the "module.pmod.in as directory" feature what the intended behaviour is. What you suggested looks OK to me, but I've never used that feature...
If make generates module.pmod/module.pmod instead of the normal module.pmod (why?), it probably would make sense to have it generate module.pmod/__Foo.so as well.