Martin Schroeder writes: > Are these files needed in the repository? They are regenerated by > the makefile anyway. Yes, they're needed for the bootstrap of ctangle. -- Olaf Weber (This space left blank for technical reasons.)