Re: [PATCH] doc: fix dejagnu variable references

[Karl Berry]

    -DejaGnu tests (@pxref{DejaGnu Tests}) use @code{RUNTESTDEFAULTFLAGS} and
    -@code{AM_RUNTESTDEFAULTFLAGS}.  The tags and ctags rules
    +DejaGnu tests (@pxref{DejaGnu Tests}) use @code{RUNTESTFLAGS} and
    +@code{AM_RUNTESTFLAGS}.  The tags and ctags rules

Thanks Mike. I installed the change. -k