File pl.patch of Package swipl

Index: pl-5.10.2/packages/plunit/Makefile.in
===================================================================
--- pl-5.10.2.orig/packages/plunit/Makefile.in	2010-10-28 21:38:25.000000000 +0200
+++ pl-5.10.2/packages/plunit/Makefile.in	2010-12-18 20:05:48.923438329 +0100
@@ -52,7 +52,6 @@ ln-install:	$(LIBPL)
 rpm-install:	install
 
 pdf-install:	install-examples
-		$(INSTALL_DATA) $(DOC).pdf $(DESTDIR)$(PKGDOC)
 
 html-install:	install-examples
 		$(INSTALL_DATA) $(DOC).html $(DESTDIR)$(PKGDOC)
Index: pl-5.10.2/src/pl-trace.c
===================================================================
--- pl-5.10.2.orig/src/pl-trace.c	2010-10-28 21:38:25.000000000 +0200
+++ pl-5.10.2/src/pl-trace.c	2010-12-18 20:05:48.925439596 +0100
@@ -675,8 +675,7 @@ traceAction(char *cmd, int port, LocalFr
 		if ( !(port & EXIT_PORT) )
 		  clear(frame, FR_SKIPPED);
 		return ACTION_CONTINUE;
-    case '\04':
-    case EOF:	FeedBack("EOF: ");
+    case '\04':	FeedBack("EOF: ");
     case 'e':	FeedBack("exit\n");
 		exitFromDebugger(0);
     case 'f':	FeedBack("fail\n");