Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: | >>>>> "Dominik" == Dominik Vogt <[EMAIL PROTECTED]> writes: | | Dominik> When I run the configure script that comes with lyx-1.2.2, it | Dominik> deletes the /dev/null device entry. | | Here is a patch to fix this in 1.3.0cvs. I intend to apply the same | patch to 1.2.3cvs. | | Lars?
Yes. This should absolutely go in. It is not really our task to decide
how autoconf should handle its cache file.
--
Lgb
