*** Makefile.in 2013-05-04 14:17:24.569433261 +0200
--- Makefile.in 2013-05-04 14:17:42.015628093 +0200
***************
*** 58,64 ****
.tcl.o:
@tclsh@ @srcdir@/make-c-ext.tcl $< >_$*.c || ( rm _$*.c; exit 1)
$(CC) $(CFLAGS) -c -o $@ _$*.c || ( rm _$*.c; exit 1)
- @rm -f _$*.c
docs: Tcl.html
--- 58,63 ----