config/kernel_cygwin.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Mar 07 19:00:10 2007 +0000 (2007-03-07)
changeset 14 11726b835286
permissions -rw-r--r--
Add an option to remove the generated documentation.
(After an idea from Enrico Weigelt <weigelt@metux.de>).
     1 # Cygwin 'kernel' options
     2 
     3 config KERNEL
     4     string
     5     default "cygwin"