diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-03-21 00:00:21 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-03-21 00:00:21 -0700 |
| commit | f167458b5ec8e09baed154d12efa5b70cf1ad9d4 (patch) | |
| tree | 3e25eed806710a422a08df16eb61dd975bf9b33a /doc/misc/ede.texi | |
| parent | 3e77f05d9185cdd3b1c7d60ac028e8031596e9ab (diff) | |
| download | emacs-f167458b5ec8e09baed154d12efa5b70cf1ad9d4.tar.gz emacs-f167458b5ec8e09baed154d12efa5b70cf1ad9d4.tar.bz2 emacs-f167458b5ec8e09baed154d12efa5b70cf1ad9d4.zip | |
Tiny doc/misc edits
* doc/misc/ede.texi (ede-linux):
* doc/misc/vip.texi (New Bindings): Tiny copyedits.
Diffstat (limited to 'doc/misc/ede.texi')
| -rw-r--r-- | doc/misc/ede.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ede.texi b/doc/misc/ede.texi index 954427d10bf..ab1e8a418da 100644 --- a/doc/misc/ede.texi +++ b/doc/misc/ede.texi @@ -917,7 +917,7 @@ and has an optimized include file identification function. Through the variables @code{project-linux-build-directory-default} and @code{project-linux-architecture-default}, you can set the build -directory and its architecture, resp. The default is to assume that +directory and its architecture, respectively. The default is to assume that the build happens in the source directory and to auto-detect the architecture; if the auto-detection fails, you will be asked. |