diff Makefile @ 11943:c504f20feaac

GENERAL OPTIONS section added with a few entries, misc changes.
author diego
date Tue, 10 Feb 2004 06:48:40 +0000
parents 0d5cfe5358bc
children daac05a7e208
line wrap: on
line diff