Re: pspp-output suggestion

[Ben Pfaff]

I found a way to avoid postprocessing the HTML that makeinfo outputs,
too; see commit a58b271cad7e ("doc: Use --css-ref option to makeinfo,
instead of postprocessing with sed.")

On Wed, Oct 28, 2020 at 10:41 PM Ben Pfaff <blp@cs.stanford.edu> wrote:
>
> Done.
>
> On Tue, Oct 27, 2020 at 11:47 PM Ben Pfaff <blp@cs.stanford.edu> wrote:
> >
> > Shouldn't be hard. I'm working in this area currently, so I should be
> > able to add something like this soon. (Probably as an option to the
> > html driver instead of a new "html-bare" driver.)
> >
> > On Tue, Oct 27, 2020 at 9:43 AM John Darrington
> > <john@darrington.wattle.id.au> wrote:
> > >
> > > If we add an option to pspp-putput such that html is produced without a 
> > > header and body tags,
> > > then we won't have to rely on sed to delete these:
> > >
> > > That is:
> > >
> > >
> > > .spv.html:
> > >         $(AM_V_GEN)utilities/pspp-output convert $< - -O format=html \
> > >         | $(SED) -e '\%</body%,$$d' -e '0,/<body/d' > $@.tmp
> > >         $(AM_V_at)mv $@.tmp $@
> > >
> > >
> > > could become:
> > >
> > >
> > > .spv.html:
> > >         $(AM_V_GEN)utilities/pspp-output convert $< $@ -O format=html-bare
> > >
> > >
> > > which I think would be faster, more reliable and simpler.
> > >
> > > J'
> > >