coq-menhirlib: installation should honor $(DESTDIR)
Please honour $(DESTDIR) in the install target of coq-menhirlib, like in the attached patch. Thanks -Ralf.coqlib-install
Please honour $(DESTDIR) in the install target of coq-menhirlib, like in the attached patch. Thanks -Ralf.coqlib-install