diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-11 19:55:41 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-11 19:55:41 -0700 |
| commit | 74c5b735212ccd5f335312db693fd4754fddbce1 (patch) | |
| tree | 158765489783a9273650b456c8b1496ad30e407d | |
| parent | 073048d5de3ddc720fe11589cadaebab74e668df (diff) | |
* doc/lispref/files.texi: Remove @vindex.
| -rw-r--r-- | doc/lispref/files.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/lispref/files.texi b/doc/lispref/files.texi index 9a56d0ada2..9af5ce967c 100644 --- a/doc/lispref/files.texi +++ b/doc/lispref/files.texi @@ -1822,7 +1822,6 @@ operating system might not write data to secondary storage immediately, which will lose the data if power is lost. @findex write-region -@vindex write-region-inhibit-fsync Although both sorts of failures can largely be avoided by a suitably configured file system, such systems are typically more expensive or less efficient. In more-typical systems, to survive media failure you |