Should the external interrupt pins (INT0,INT1) be configured as INPUT?

In the documentation for AttacheInterrupt,
http://arduino.cc/en/Reference/AttachInterrupt

the example doesn't show that PD2 (INT0) is being configured as an input pin.

Do the external interrupt pins need to be configured for INPUT when using them as interrupts only?

Thanks

Pins not explicitly configured as outputs are inputs by default. So no, it should not be necessary to configure these pins as inputs (though it doesn't hurt).

--
The Gadget Shield: accelerometer, RGB LED, IR transmit/receive, speaker, microphone, light sensor, potentiometer, pushbuttons

Can also use the internal pullups on them.