pkg manager improvement?

[Michael Goffioul]

Hi,

After having used the package manager under Win32, I thought about 2
possible modifications. Maybe these are already possible, but I didn't find
how to achieve it.

1) is it possible to modify the autoload status of a package that is already
installed? I found that adding a .autoload file in packinfo dir is
enough, however,
it would be better to provide an interface to it through pkg.m (you could then
also modify the data structure stored in global_list and/or local_list)

2) from a packaging point of view, it would be nice to be able to install
a pre-compiled package into the right location and simply tell the package
manager to update its internal data structure, without any compilation step

Michael.