diff Makefile @ 9459:b83d242708bf

better procedure for handling help file updates
author diego
date Wed, 19 Feb 2003 00:34:56 +0000
parents b4a565ed2034
children 08c717b7b886
line wrap: on
line diff