update SCons again (for the new esint font)

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@20795 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/development/scons/scons_manifest.py b/development/scons/scons_manifest.py
index ae3b8bf50425a06d3b0edb3a803de652a7c91be0..475c852ee948ccaf24cfba9a4385a75158aea805 100644 (file)
--- a/development/scons/scons_manifest.py
+++ b/development/scons/scons_manifest.py
@@ -1395,6 +1395,7 @@ lib_fonts_files = Split('''
     cmmi10.ttf
     cmr10.ttf
     cmsy10.ttf
+    esint10.ttf
     eufm10.ttf
     msam10.ttf
     msbm10.ttf