Documentation for 'final' values wrong?

[Greg Hudson]

On 7/9/19 9:14 AM, Lutz Justen wrote:
>   https://web.mit.edu/kerberos/krb5-1.12/doc/admin/conf_files/krb5_conf.html
> indicates that tags can be marked final by adding a '*' at the end, e.g.
>   foo = bar*
> However, if I'm reading the parsing code in src/util/profile/prof_parse.c
> right, it looks for the '*' in the 'tag' part, i.e. 'foo', see near the end
> of parse_std_line(). That means, the correct syntax would be
>   foo* = bar
> 
> What is the correct syntax? Is the documentation wrong or the parsing code
> (or my code reading skills)?

I see the same apparent mismatch between documentation and code, and can
trace the mismatch back to release 1.3.

I am inclined to treat the code as correct and change the documentation.
 I'll make a note to do that.