Hi, On Sun, Nov 15, 2020 at 12:43:58PM -0500, Mouse wrote:
> But, of course, that's predicated on someone going to the trouble to
> (a) build a DVI-to-text backend (not hard, if it doesn't yet exist,
Whether the whole TeX-idea is useful for the purpose, I don't know
at the momenti; but dvi2tty is available in pkgsrc as converters/dvi2tty
detex is a bit simplicistic, as it only shows the non-meta parts of
the source text but available in pkgsrc as textproc/detex
-is
