Jürgen Spitzmüller <sp...@lyx.org> writes: > Jean-Marc Lasgouttes wrote: >> Jurgen, this could go in branch too. I can skip the removal of >> mkinstalldirs if you want to be extra safe. > > OK.
So, shall I remove mkinstalldirs? The docs say it is not used anymore. JMarc
