Le 25/09/2015 12:13, Jean-Marc Lasgouttes a écrit :
commit b7909e7e6ce001e39424d4825383e1bf619acd0c Author: Jean-Marc Lasgouttes <lasgout...@lyx.org> Date: Fri Sep 25 10:58:17 2015 +0200Remove support for precompiled headers for autotools This was turned off by default for a long time, and it does not seem to have any use these days.
This follows a discussion I had with Lars two days ago in Paris...The same can be done to cmake (did I break it already by removing pch.h files?)
JMarc