How to build a library from the Arduino IDE?

I want to use the servo library in my Arduino project. However I want to perform some minor modifications to the code of the library. I noticed that when I use the 'Import Library' in the Arduino IDE, the library is rebuild. However, this is only done the first time the library is imported.

So my question is, how can I rebuild a library? Or if this not possible, how can I remove the 'imported library' such that I can trigger a build by redoing the 'import library' operation?

Thanks!

delete the .o file in the directory you want the library rebuilt. A new one will be generated when you recompile the sketch that includes the library.

Thanks! I could have figured out that one myself... :P