Re: Doc-string with newline character

Thomas Morley writes: > Am Fr., 1. Jan. 2021 um 20:07 Uhr schrieb David Kastrup : >> >> Thomas Morley 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 @,

Re: Doc-string with newline character

Am Fr., 1. Jan. 2021 um 20:07 Uhr schrieb David Kastrup : > > Thomas Morley 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

Re: Doc-string with newline character

Thomas Morley 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

Re: Doc-string with newline character

Am Fr., 1. Jan. 2021 um 14:06 Uhr schrieb David Kastrup : > > Thomas Morley writes: > > > Am Do., 31. Dez. 2020 um 21:04 Uhr schrieb David Kastrup : > >> > >> Come to think of it: on top of using ~s here, wouldn't it also be > >> necessary to quote characters @ { } by preceding them with @ ? > > >

Re: Doc-string with newline character

Thomas Morley writes: > Am Do., 31. Dez. 2020 um 21:04 Uhr schrieb David Kastrup : >> >> Come to think of it: on top of using ~s here, wouldn't it also be >> necessary to quote characters @ { } by preceding them with @ ? > > My knowledge of texinfo is rudimentary. > After a quick glance over doc-

Re: Doc-string with newline character

Am Do., 31. Dez. 2020 um 21:04 Uhr schrieb David Kastrup : > > Thomas Morley writes: > > > Am Do., 31. Dez. 2020 um 12:31 Uhr schrieb David Kastrup : > >> > >> Thomas Morley writes: > >> > >> > Am Do., 31. Dez. 2020 um 00:11 Uhr schrieb Thomas Morley > >> > : > >> >> > >> >> Am Do., 31. Dez. 2020

Re: Doc-string with newline character

Thomas Morley writes: > Am Do., 31. Dez. 2020 um 12:31 Uhr schrieb David Kastrup : >> >> Thomas Morley writes: >> >> > Am Do., 31. Dez. 2020 um 00:11 Uhr schrieb Thomas Morley >> > : >> >> >> >> Am Do., 31. Dez. 2020 um 00:00 Uhr schrieb David Kastrup : >> >> > >> >> > It's probably a bug. Try

Re: Doc-string with newline character

Am Do., 31. Dez. 2020 um 12:31 Uhr schrieb David Kastrup : > > Thomas Morley writes: > > > Am Do., 31. Dez. 2020 um 00:11 Uhr schrieb Thomas Morley > > : > >> > >> Am Do., 31. Dez. 2020 um 00:00 Uhr schrieb David Kastrup : > >> > > >> > It's probably a bug. Try replacing in > >> > > >> >

Re: Doc-string with newline character

Thomas Morley writes: > Am Do., 31. Dez. 2020 um 00:11 Uhr schrieb Thomas Morley > : >> >> Am Do., 31. Dez. 2020 um 00:00 Uhr schrieb David Kastrup : >> > >> > It's probably a bug. Try replacing in >> > >> > (format #f "@item @code{~a} (~a)\n" >> > >> > in the

Re: Doc-string with newline character

Am Do., 31. Dez. 2020 um 00:11 Uhr schrieb Thomas Morley : > > Am Do., 31. Dez. 2020 um 00:00 Uhr schrieb David Kastrup : > > > > Thomas Morley writes: > > > > > Am Mi., 30. Dez. 2020 um 10:37 Uhr schrieb Jonas Hahnfeld > > > : > > >> > > >> Hi, > > >> > > >> Am Mittwoch, dem 30.12.2020 um 10:31

Re: Doc-string with newline character

Am Do., 31. Dez. 2020 um 00:00 Uhr schrieb David Kastrup : > > Thomas Morley writes: > > > Am Mi., 30. Dez. 2020 um 10:37 Uhr schrieb Jonas Hahnfeld > > : > >> > >> Hi, > >> > >> Am Mittwoch, dem 30.12.2020 um 10:31 +0100 schrieb Thomas Morley: > >> > Hi, > >> > > >> > while preparing a patch a n

Re: Doc-string with newline character

Thomas Morley writes: > Am Mi., 30. Dez. 2020 um 10:37 Uhr schrieb Jonas Hahnfeld : >> >> Hi, >> >> Am Mittwoch, dem 30.12.2020 um 10:31 +0100 schrieb Thomas Morley: >> > Hi, >> > >> > while preparing a patch a noticed a problem with a doc-string: >> > I want to refer to newline characters and wr

Re: Doc-string with newline character

Am Mi., 30. Dez. 2020 um 10:37 Uhr schrieb Jonas Hahnfeld : > > Hi, > > Am Mittwoch, dem 30.12.2020 um 10:31 +0100 schrieb Thomas Morley: > > Hi, > > > > while preparing a patch a noticed a problem with a doc-string: > > I want to refer to newline characters and wrote "@code{#\newline}", > > but it

Re: Doc-string with newline character

> I couldn't figure how to let print > #\newline Try the ugly #@backslashchar{}newline :-) Werner

Re: Doc-string with newline character

Hi, Am Mittwoch, dem 30.12.2020 um 10:31 +0100 schrieb Thomas Morley: > Hi, > > while preparing a patch a noticed a problem with a doc-string: > I want to refer to newline characters and wrote "@code{#\newline}", > but it comes out as > # ewline > for both pdf and html. > I couldn't figure how to

Doc-string with newline character

Hi, while preparing a patch a noticed a problem with a doc-string: I want to refer to newline characters and wrote "@code{#\newline}", but it comes out as # ewline for both pdf and html. I couldn't figure how to let print #\newline Any hint? Thanks, Harm