annotate README @ 5975:157174abe70a

missing if(use_gui) - found by Nilmoni Deb <ndeb@ece.cmu.edu>
author arpi
date Sat, 04 May 2002 22:34:47 +0000
parents 0704cb60a223
children 20389bf27dd4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3372
0704cb60a223 to follow unix traditions
gabucino
parents:
diff changeset
1 The main documentation file is DOCS/documentation.html