diff options
| author | Paul Eggert | 2015-04-09 10:16:26 -0700 |
|---|---|---|
| committer | Paul Eggert | 2015-04-09 10:22:42 -0700 |
| commit | cbef1e918d5b0a7f2f68eb6d742982987f102cf4 (patch) | |
| tree | 8fa512463768563b7cd98592479678895ccf7425 /Makefile.in | |
| parent | 7bb614e399300a80a68cd5196c1fd1f96d44e0af (diff) | |
| download | emacs-cbef1e918d5b0a7f2f68eb6d742982987f102cf4.tar.gz emacs-cbef1e918d5b0a7f2f68eb6d742982987f102cf4.zip | |
; make change-history-commit
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a61cbc627b7..9f235d5680a 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -1088,7 +1088,7 @@ bootstrap: bootstrap-clean | |||
| 1088 | $(MAKE) all | 1088 | $(MAKE) all |
| 1089 | 1089 | ||
| 1090 | # The newest revision that should not appear in the generated ChangeLog. | 1090 | # The newest revision that should not appear in the generated ChangeLog. |
| 1091 | gen_origin = 9d56a21e6a696ad19ac65c4b405aeca44785884a | 1091 | gen_origin = 2cdbb8983dd49ce5c31c74b26f740bcb3e5a4c5d |
| 1092 | # Convert git commit log to ChangeLog file. make-dist uses this. | 1092 | # Convert git commit log to ChangeLog file. make-dist uses this. |
| 1093 | .PHONY: ChangeLog change-history unchanged-history-files | 1093 | .PHONY: ChangeLog change-history unchanged-history-files |
| 1094 | ChangeLog: | 1094 | ChangeLog: |