make_clean
make_install
demos_makefile
install-byte
0005-Fix-compilation-with-OCaml-4.08.0.patch
auto-gitignore
