(SOURCES): Delete PROBLEMS.
This commit is contained in:
parent
4fece393ae
commit
e5f83e2398
1 changed files with 1 additions and 1 deletions
|
@ -521,7 +521,7 @@ extraclean:
|
|||
### 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
|
||||
|
|
Loading…
Add table
Reference in a new issue