On Sun, Nov 05, 2017 at 11:32:10AM +0100, oe wrote:
> Am 05.11.2017 um 11:11 schrieb Ralph Corderoy:
> > Hi,
> >
> > Werner wrote:
> > > Branden wrote:
> > > > I move that we stop stripping the files. Stripping them is saving
> > > > us only a few hundred kB out of 25 megs.
> > > It's not about saving disk space. Remember that groff is an
> > > interpreted language *without* a translation to an internal
> > > representation.[*] This means, for example, that a comment within a
> > > loop with 1000 repeats gets parsed a thousand times, again and again.
Couldn't this be avoided, if groff used in a preprocess one or two sed commands
to get rid of comments and indentation?
ulrich
