Retaining consecutive single quotes in maxima manual

"Billinghurst, David (CRTS)" <David.Billinghurst@riotinto.com> writes:

> texinfo converts consecutive single quotes into a double quote,
> which messes up the maxima manual in a few places - ''f(x) is a
> valid command.  How do I generate consecutive single quotes in
> texinfo?

Perhaps

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cut ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
\input texinfo

@setfilename quotes-kludge.info

@node top,  , (dir), (dir)

@deffn operator @w{'@w{}'}
Some text involving @code{''f(x);} and @code{''(f(x));} amongst other
things.
@end deffn

The inner @samp{@@w} keeps the quotes apart (I think in @TeX{} such
things are not regarded as kludgey :-).  The outer @samp{@@w} is there
because otherwise makeinfo seems to think that the second quote
describes an argument (and the html mark-up will be different).

This does the right thing for info and html output (via makeinfo).
But also in printed output (via @TeX{}) '@w{}' and '' look slightly
different.

@bye
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cut ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Wolfgang