> In fact, info files are *not* properly created. How so? > Should I repair things so that info files are created, or is txt and > html enough for these two documents? They should probably be created, as info is the "standard" for online documentation.