mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-18 21:45:24 +00:00
87fbbe0a56
* generate a minimal "path_prefix" variable (cull repeated elements) * replace an existing "path_prefix" entry if one exists * run "sh configure" in blocking fashion so that the user can see what is going on. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/branches/BRANCH_1_3_X@10014 a592a061-630c-0410-9148-cb99ea01b6c8