Richard Kimberly Heck 29b80c802c Fixes for the build script.
(cherry picked from commit 01c23b386499e0cf3902a4e1b06e03f1fa1dcc0f)
2018-08-28 15:19:48 -04:00
..
2018-08-28 15:19:48 -04:00

Some scripts I found useful when working on LyX