diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-11-09 18:01:56 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-11-09 18:01:56 -0800 |
| commit | be1f31616a1e0db3764da6ab3a22e04f913a25ab (patch) | |
| tree | 91db4905ba823e4ab7aa521d7cd3d164b2f79abd /Makefile.in | |
| parent | 91982ede583f0575844feb8b4c73de9529bb0876 (diff) | |
| download | emacs-be1f31616a1e0db3764da6ab3a22e04f913a25ab.tar.gz | |
Further reduce the number of versioned files storing the version number
* configure.ac (doc/man/emacs.1): Generate it.
* Makefile.in (top_bootclean): Remove doc/man/emacs.1.
* make-dist: Do not distribute doc/man/emacs.1.
* admin/admin.el (set-version): No need to update doc/man/emacs.1.
* doc/man/emacs.1.in: Rename from emacs.1.
* .bzrignore: Add doc/man/emacs.1.
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 458904710e0..3c389b6e837 100644 --- a/Makefile.in +++ b/Makefile.in @@ -822,7 +822,7 @@ clean: $(clean_dirs:=_clean) ### `bootclean' ### Delete all files that need to be remade for a clean bootstrap. top_bootclean=\ - rm -f config.cache config.log + rm -f config.cache config.log ${srcdir}/doc/man/emacs.1 ### `distclean' ### Delete all files from the current directory that are created by |