diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:55:49 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:55:49 +0000 |
| commit | 92f9b43f921d2c8841ae894e61762a38ae57b8e3 (patch) | |
| tree | 350b41a002dd8508ac8f9bab8f5e7239cd791990 /doc | |
| parent | 345ef41d8b966fb8847347a6df0bd0647722d27a (diff) | |
| download | emacs-92f9b43f921d2c8841ae894e61762a38ae57b8e3.tar.gz | |
(setfilename): Go up one more level to ../../info.
Diffstat (limited to 'doc')
| -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 |