Ignore generated documentation
-rw-r--r-- 112 .gitignore
-rw-r--r-- 147 AUTHORS.txt
-rw-r--r-- 883 INSTALL.txt
-rw-r--r-- 702 Makefile
-rw-r--r-- 744 README.markdown
-rw-r--r-- 674 README.txt
-rw-r--r-- 1637 _oasis
-rw-r--r-- 636 _tags
-rwxr-xr-x 132 configure
-rw-r--r-- 10627 myocamlbuild.ml
-rw-r--r-- 139582 setup.ml
drwxr-xr-x - src
drwxr-xr-x - tests