diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 6a8dae9fecc..8915c629975 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -605,7 +605,7 @@ extraclean: | |||
| 605 | ### Note: it's no disaster if these productions miss a file or two; tar | 605 | ### Note: it's no disaster if these productions miss a file or two; tar |
| 606 | ### and VC will swiftly let you know if this happens, and it is easily | 606 | ### and VC will swiftly let you know if this happens, and it is easily |
| 607 | ### corrected. | 607 | ### corrected. |
| 608 | SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in \ | 608 | SOURCES = ChangeLog FTP INSTALL Makefile.in \ |
| 609 | README configure make-dist move-if-change | 609 | README configure make-dist move-if-change |
| 610 | 610 | ||
| 611 | .PHONY: unlock relock | 611 | .PHONY: unlock relock |