diff Makefile @ 9138:42667fd91d4a

changing "switch" -> "option" (unwritten DOCS rule) other important fixes, updates
author gabucino
date Tue, 28 Jan 2003 17:11:57 +0000 (2003-01-28)
parents 6ecc0b5c08cb
children 32be26de0d7c
line wrap: on
line diff