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 <b...@cs.stanford.edu> wrote: > > Done. > > On Tue, Oct 27, 2020 at 11:47 PM Ben Pfaff <b...@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 > > <j...@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' > > >
