[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
building without tex (was: zero-width space)
From: |
Ingo Schwarze |
Subject: |
building without tex (was: zero-width space) |
Date: |
Sun, 5 Jun 2022 10:40:43 +0200 |
Hi Branden,
G. Branden Robinson wrote on Sat, Jun 04, 2022 at 08:58:14PM -0500:
> While I have you, Deri raised a point in Savannah #62251 that I'd like
As you correctly say below, #62551.
> your feedback on. He feels the weight of a TeX installation; other
> people probably will too. It involved re-complexifying doc/doc.am a
> little bit, but I assuredly don't want to resurrect '--with-doc'.
>
> https://savannah.gnu.org/bugs/?62551
FWIW, i don't object to making "make all" and "make install" work from
a git checkout if the tools for building groff.pdf are unavailable, and
simply skip building and installing groff.pdf in that case. I expect
that will cause very little complexity, not at all comparable to
the bygone --with-doc horror show.
Of course, that implies that subsequently, "make dist" will inevitably
fail, so it won't help much for a serious developer who wants to do
complete testing of whatever changes they are considering.
Then again, maybe it helps some end-users who want to run groff-current
without having to bother with TeX, and who are content with "info groff"
and feel comfortable without groff.pdf.
Yours,
Ingo
P.S.
I'm posting this here rather than in #62551 because it would really
be badly misplaced there.
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., (continued)
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., Steffen Nurpmeso, 2022/06/27
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., Ralph Corderoy, 2022/06/22
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., Ingo Schwarze, 2022/06/19
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., Alejandro Colomar, 2022/06/19
- Re: man(7) .TH font change, was: groff man(7) `B` macro..., Ingo Schwarze, 2022/06/19
- Re: Zero Width Space, Dave Kemper, 2022/06/05
- Re: Zero Width Space, Alejandro Colomar, 2022/06/06
- Re: Zero Width Space, Peter Schaffter, 2022/06/06
Re: Zero Width Space (was Re: How to print a literal '.' as the first character in a line?), Ingo Schwarze, 2022/06/04