Am Fr., 1. Jan. 2021 um 20:07 Uhr schrieb David Kastrup <d...@gnu.org>: > > Thomas Morley <thomasmorle...@gmail.com> writes: > > > rtfm tends to help ;) > > Alas, I've no good idea how a `texi-quote` could work. Iiuc, one needs > > more than a simple search/replace. > > Just put a @ in front of every @, {, or } ? > > -- > David Kastrup
David, I don't understand what the proposed texi-quote should do. A tool to - improve incorrect doc-strings? - format a doc-string with respect to texinfo? - format/improve only those parts of a doc-string, which are already wrapped in texinfo-code? - do something else? Anyway, I've no clue how to do any of it. Cheers, Harm