Re: void variable

[Luc Teirlinck <teirllm@dms.auburn.edu>]

I now believe that I should replace:

   + some file FILE with this form \(or with `defconst' or `defcustom',
   + which behave similarly in this respect), you should carefully check

with:

   some file FILE with this form \(or with `defcustom', which behaves
   similarly in this respect), you should carefully check

and:

   ! that is defined in some file FILE with this form \(or with
   ! `defvar' or `defconst', which behave similarly in this respect),

with:

   that is defined in some file FILE with this form \(or with
   `defvar', which behave similarly in this respect),

We do not want to encourage people to make local bindings for variables
defined with `defconst'.

Sincerely,

Luc.