Modified the instructions
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 29 Jan 2009 03:49:52 +0000 (03:49 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 29 Jan 2009 03:49:52 +0000 (03:49 +0000)
commit6b03c8ef3dac4b1de06ca577e8e0ee07c6c3eae7
tree74737344e242f7c5c4651463995a5aacb26d62b6
parent9abf8a6f78264fbf4eec1676b4a26018967c97e6
Modified the instructions

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@89 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
HACKING
options.ml