>> I can't get to produce the DVIs, the command line/interpreter >> interface is beyond me.
After much sweat, it turned out to be as simple as I was expecting all
along but only figured out after reading half the Texinfo manual:
tex bfd.texinfo
dvips | page -w
The various *.texi files were all red herrings that led me astray.
++L
PS: I'm not really any wiser now, but at least I now know that I have
to figure some things out the hard way. Until now I kept hoping.
