diff configure @ 9459:b83d242708bf

better procedure for handling help file updates
author diego
date Wed, 19 Feb 2003 00:34:56 +0000
parents 22739ed7d801
children 8b02e80e9c65
line wrap: on
line diff