File tla-1.3.3-depfiles.patch of Package tla

--- build-tools/Makefiles/cpp-to-includes.sed
+++ build-tools/Makefiles/cpp-to-includes.sed
@@ -16,7 +16,8 @@
 
 # Gcc 3.1 generates these, apparently:
 #
-s/<.*>//
+/<.*>/d
+/\/\/$/d
 
 s/^/    /