Hi Neil, Neil Jerram <[email protected]> writes:
> Mark Harig <[email protected]> writes: > >> Here is a list of additional options that are not described >> in the guile manual page: > > Thank you for pointing these out, and for suggesting suitable text. > However, rather than applying these updates, I wonder if the OPTIONS > section of guile.1 should instead be autogenerated from the `Invoking > Guile' node of the manual? > > Andy/Ludo, any objection to that? No, that’s a good idea. However, the man page should probably mark more prominently, e.g., at the beginning of DESCRIPTION, that the real manual is the one visible from Info. Thanks, Ludo’.
