Can't install a package in 3.1.53ff

[Søren Hauberg]

søn, 08 03 2009 kl. 21:46 +0100, skrev Thomas Treichl:
> Then I think we already found the bug. On Macs, if there exists a directory 
> 'doc' then this is the same as 'dOc', 'DOC' etc. from the system's view (not the 
> filesystem's view).

Now that's just silly! But if that's the way things are, then that's the
way things are. So, what should we then call our documentation cache?
"DOC.mat", "DOC_CACHE", "doc_cache", <your_favorite_suggestion> ?

Søren