Hello Michael!

24 Feb 22 21:46, Gerrit Kuehn wrote to Michael Dukelsky:

 GK> So the important thing is to have documentation production 
 GK> configurable (I think I never used it much). Especially the .info 
 GK> file can be compiled by just having texinfo installed. But for .dvi, 
 GK> .ps and .pdf you need the full thing. 

Oh, and the .html version also builds just with texinfo installed (but that was already in your document, too).


Regards,
Gerrit

... 10:14PM  up 50 days,  9:09, 5 users, load averages: 0.41, 0.55, 0.58

--- msged/fbsd 6.3 2021-12-02