Subject: Re: bug#19942: 25.0.50.1; Changing reftex-include-file-commands has no effect

From: "Nicolas Richard" <[email-masked]>
Date: Wed, 25 Feb 2015 12:28:07 +0100

Tassilo Horn <[email-masked]> writes:
> Nicolas Richard <[email-masked]> writes:
>> % reftex-include-file-commands: ("newpageinput" "input" "include") in
>                                                            When changing
> these options with customized, the "reftex tables" are marked dirty and
> `reftex-compile-variables' will be called appropriately [1].

Now that I actually think about it : does this means setting
reftex-include-file-commands as a file local variable will in fact never
work right without further adjustement ?

-- 
Nicolas Richard