* infcmd.c (interrupt_command): Renamed from interrupt_target_command.
* infcmd.c: Whitespace fixes.
(interrupt_command): Merge two function comments into one.
daily update