-
fpottier authored
since we are supposed to be able to build Menhir even in the absence of ocamlfind. Not 100% sure that this is a good idea. Anyway, it was part of the 20140422 release, but I forgot to commit it earlier. git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@359 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
24d71664