diff options
author | Glenn Morris <rgm@gnu.org> | 2010-10-11 20:52:07 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2010-10-11 20:52:07 -0700 |
commit | 07277eb8060ecd1310bbbe27d27f58713b1f4d53 (patch) | |
tree | e8315a45dff8e38e7badc5b46618fe8f272596ec /doc | |
parent | a2c3184672a5d45288ecb0abf40a4c0a78499ca2 (diff) | |
download | emacs-07277eb8060ecd1310bbbe27d27f58713b1f4d53.tar.gz |
* doc/lispref/book-spine.texinfo: Rename to book-spine.texi.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/lispref/ChangeLog | 4 | ||||
-rw-r--r-- | doc/lispref/book-spine.texi (renamed from doc/lispref/book-spine.texinfo) | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog index be3e56880f5..a5f3ce34371 100644 --- a/doc/lispref/ChangeLog +++ b/doc/lispref/ChangeLog @@ -1,3 +1,7 @@ +2010-10-12 Glenn Morris <rgm@gnu.org> + + * book-spine.texinfo: Rename to book-spine.texi. + 2010-10-11 Glenn Morris <rgm@gnu.org> * Makefile.in (MAKEINFO): Add explicit -I$srcdir. diff --git a/doc/lispref/book-spine.texinfo b/doc/lispref/book-spine.texi index 270def6d8b3..270def6d8b3 100644 --- a/doc/lispref/book-spine.texinfo +++ b/doc/lispref/book-spine.texi |