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

[Nicolas Richard]

Tassilo Horn <address@hidden> writes:
> Nicolas Richard <address@hidden> 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