# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 889310020 0
# Node ID 9de926193693422ad8c94ca1cbb1b08946224883
# Parent  0413a3ff3b8ddaeeee8e49fbeb4fec88debf875d
(SOURCES): Delete PROBLEMS.

diff -r 0413a3ff3b8d -r 9de926193693 Makefile.in
--- a/Makefile.in	Sat Mar 07 22:31:13 1998 +0000
+++ b/Makefile.in	Sat Mar 07 22:33:40 1998 +0000
@@ -521,7 +521,7 @@
 ### Note: it's no disaster if these productions miss a file or two; tar
 ### and VC will swiftly let you know if this happens, and it is easily
 ### corrected.
-SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in PROBLEMS \
+SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in \
 	README configure make-dist move-if-change
 
 .PHONY: unlock relock