diff Makefile @ 18317:2b78ad4401e1

Document how configure works and how to write basic checks.
author diego
date Thu, 27 Apr 2006 14:26:57 +0000
parents 89bd33b746b9
children 66789c5e38ba
line wrap: on
line diff