j
k
j a
j l
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
Back to the thread
Back to the list