> Attached is a simple test case that demonstrates that @value{} does not
> appear to be working inside @uref for texi2pdf. It does work for makeinfo
> and (I think) texi2dvi. This construct worked with the texinfo shipped
> with RedHat 6.0 and only broke when I upgraded to 4.0 to fix the @image
> problem you folks have helped me through.
The texinfo manual states:
You can use the `@set' command to specify a value for a flag, which
is expanded by the `@value' command. A flag is an identifier; for best
results, use only letters and numerals in a flag name, not `-' or
`_'--they will work in some contexts, but not all, due to limitations
in TeX. The value is just a string of characters, the remainder of the
input line.
