Re: The "¶" character in the gawk manual

[arnold]

Hmmm. I'm not seeing that in my local copy of gawk.html.
Can you send one or two sample lines so I can locate the
corresponding source in gawk.texi?

Where did you get the HTML file from?

Arnold

Miriam English <mim@miriam-english.org> wrote:

> Hi,
>
> I am puzzled by the "¶" character sprinkled throughout the gawk manual.
> Can anybody tell me what it signifies? It doesn't appear to be defined
> anywhere.
>
> grep ¶  "The GNU Awk User’s Guide (v5.2).html" | sed 's/<[^>]*>//g'
>
> Lists all 102 places it appears.
>
> Thanks,
>
>  - Miriam
>
> -- 
> There are two wolves and they're always fighting.
> One is darkness and despair. The other is light and hope.
> Which wolf wins?
> Whichever one you feed.
>   -- Casey in Brad Bird's movie "Tomorrowland"
>