Len Conrad wrote:
subsequent "make configure" simply uses the original menu choices with no 
re-display of the menu to change the options

make rmconfig ; make config

--
Dr Matthew J Seaman MA, D.Phil.                   7 Priory Courtyard
                                                 Flat 3
PGP: http://www.infracaninophile.co.uk/pgpkey     Ramsgate
                                                 Kent, CT11 9PW

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to