diff options
| -rw-r--r-- | doc/emacs/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/emacs/emacs.texi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index 51803a75727..5b4d4ab4daf 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog @@ -11,7 +11,7 @@ (mostlyclean): Remove `gnustmp'. * makefile.w32-in (INFO_TARGETS, DVI_TARGETS): Reduce to just the Emacs manual. - (MULTI_INSTALL_INFO, ENVADD): Go up one more level. + (MULTI_INSTALL_INFO, ENVADD, infodir): Go up one more level. (emacsman): Delete target, not needed any more. (clean): Remove all info files but Emacs manual. Move all targets that are not the Emacs manual to misc/Makefile.in. diff --git a/doc/emacs/emacs.texi b/doc/emacs/emacs.texi index 1e6fd8461c3..d71ff67407b 100644 --- a/doc/emacs/emacs.texi +++ b/doc/emacs/emacs.texi @@ -1,6 +1,6 @@ \input texinfo -@setfilename ../info/emacs +@setfilename ../../info/emacs @settitle GNU Emacs Manual @c The edition number appears in several places in this file |