[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [groff] mom manpage
From: |
Peter Schaffter |
Subject: |
Re: [groff] mom manpage |
Date: |
Fri, 7 Dec 2018 11:18:32 -0500 |
User-agent: |
Mutt/1.5.24 (2015-08-30) |
On Fri, Dec 07, 2018, Colin Watson wrote:
> On Thu, Dec 06, 2018 at 06:38:40PM -0500, Peter Schaffter wrote:
> > address@hidden
> > address@hidden/usr/share/doc/groff-base/html/mom/toc.html}
> > address@hidden display
> [...]
> > address@hidden
> > address@hidden/usr/share/doc/groff-base/pdf/mom-pdf.pdf}
> > address@hidden display
> [...]
> > I'm not sure whether it's okay for entry points to local files to
> > have literal paths or whether they need to be rendered symbolically
> > for build/install purposes, so I won't commit without your go-ahead.
>
> These paths are *very* Debian-and-derivatives-specific (even leaving
> aside the hardcoded /usr/share/doc prefix, the split between groff-base
> and groff is a Debianism), so they can't be committed upstream like
> that.
That's what I thought.
> Either the local references will need to be omitted, or we'll
> need some kind of arrangement along the lines of the existing
> @HTMLDOCDIR@ and @PDFDOCDIR@ in groff's man pages (I'm not sure how
> practical that is in texinfo).
Neither am I. What I know about texifo wouldn't fit in a thimble.
Bertrand, how do you feel about omitting the local docs, leaving
just the pointer to the online docs? If you're agreeable, I can
commit the change.
--
Peter Schaffter
http://www.schaffter.ca
Re: [groff] mom manpage, James K. Lowden, 2018/12/05
Re: [groff] mom manpage, Bertrand Garrigues, 2018/12/05
- Re: [groff] mom manpage, Peter Schaffter, 2018/12/06
- Re: [groff] mom manpage, Colin Watson, 2018/12/07
- Re: [groff] mom manpage,
Peter Schaffter <=
- Re: [groff] mom manpage, Ingo Schwarze, 2018/12/07
- Re: [groff] mom manpage, Bertrand Garrigues, 2018/12/08
- Re: [groff] mom manpage, G. Branden Robinson, 2018/12/08
- Re: [groff] mom manpage, Bertrand Garrigues, 2018/12/08
- Re: [groff] mom manpage, G. Branden Robinson, 2018/12/09
- Re: [groff] mom manpage, Bertrand Garrigues, 2018/12/09
- Re: [groff] mom manpage, G. Branden Robinson, 2018/12/09
- Re: [groff] mom manpage, Bertrand Garrigues, 2018/12/10
Re: [groff] mom manpage, Peter Schaffter, 2018/12/09
Re: [groff] mom manpage, Ingo Schwarze, 2018/12/09