Hi list, I now use git but I'm not sure about things I've got to do after an upgrade: is it mandatory to re-do the whole cycle (bootstrap + configure), or just configure, or nothing at all but a make install? -- The best cure for insomnia is to get a lot of sleep. -W. C. Fields