Re: Add file-locals and dir-locals

[martin rudalics]

> `add-file-local-variable' adds file-local variable with its value to the
> Local Variables list.  `add-dir-local-variable' adds directory-local
> variable with its value and mode to the .dir-locals.el file.  Based on
> this implementation another commands could be added later that will
> move file-local variables to .dir-locals.el and vice versa.

Sometimes we also want to replace the old value of a local variable with
a new one here.  So maybe functions like `set-file-local-variable' and
`set-dir-local-variable' seem more appropriate.

martin