-
Andrei Paskevich authored
- no more version.sh, use config.ml.in and version.tex.in instead - dynlink compatibility is moved to config.ml - comment out unused sections in Makefile - provide the explicit --enable-ide option - provide the explicit --enable-plugins option - require at least Ocaml 3.10 - remove *-yes and *-no targets from Makefile, use ifeq() instead
b3d1d542