[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Quick question: how to do .index in groff?
From: |
Denis M. Wilson |
Subject: |
Re: Quick question: how to do .index in groff? |
Date: |
Sun, 26 Jul 2020 10:14:24 +0100 |
Hello
On Sun, 26 Jul 2020 11:05:38 +1000
John Gardner <gardnerjohng@gmail.com> wrote:
> >
> > but I guess that's an indication I'm thinking about things in the
> > wrong way.
>
>
> Possibly. What exactly have you been using `.index` for?
>
> By the way, is it a goal of groff to support the Heirloom Troff
> extensions?
>
>
> Nope, more like the other way around. Groff is the dominant Troff
> implementation these days, so it behoves Heirloom Troff to support
> the more commonly-used extensions.
>
>
>
> On Sun, 26 Jul 2020 at 10:42, B 9 <hackerb9@member.fsf.org> wrote:
>
> > "Denis M. Wilson" <dmw@oxytropis.plus.com> wrote:
> >
> > > To implement .index as a macro one could consider using .substring
> > > together with the Knuth-Morris-Pratt algorithm. I've done simpler
> > > things eg the equivalent of The C library substr().
> >
> > Thank you. Would you be willing to share your strstr() macro?
> >
> > I'm surprised nobody has implemented Heirloom Troff's .index, but I
> > guess that's an indication I'm thinking about things in the wrong
> > way. There's probably some other, more natural solution in groff.
> >
> > By the way, is it a goal of groff to support the Heirloom Troff
> > extensions? There are some nice ideas I wouldn't mind seeing in
> > groff, like the \W escape and using standard system fonts.
and the Knuth-Plass paragraph breaking, amd I also want to see groff use
opentype fonts (both of which I believe are in heirloom).
Denis
> >
> > —b9
> >
> >
--
- Quick question: how to do .index in groff?, B 9, 2020/07/23
- Re: Quick question: how to do .index in groff?, John Gardner, 2020/07/23
- Re: Quick question: how to do .index in groff?, Denis M. Wilson, 2020/07/24
- Re: Quick question: how to do .index in groff?, Denis M. Wilson, 2020/07/24
- Re: Quick question: how to do .index in groff?, B 9, 2020/07/25
- Re: Quick question: how to do .index in groff?, Denis M. Wilson, 2020/07/27
- Re: Quick question: how to do .index in groff?, B 9, 2020/07/31
- Re: Quick question: how to do .index in groff?, John Gardner, 2020/07/31
- Re: Quick question: how to do .index in groff?, Tadziu Hoffmann, 2020/07/31
- Re: Quick question: how to do .index in groff?, Denis M. Wilson, 2020/07/31
Re: Quick question: how to do .index in groff?, Bjarni Ingi Gislason, 2020/07/25