Peter Rolf wrote:
> \doifinset{\\currenttyping\c!option}{\v!commands,\v!slanted,\v!normal}
> ^^
looks like a bad placed marker :)
The problem is the double backslash (should be
..{\currenttyping\c!option}..
Peter
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
