From 6f6d985b9e5823260d8a51129a0dfb12a00cebb5 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Thu, 11 Jun 2020 17:43:44 +0200 Subject: [PATCH] Amend 5a80f7bb Was forgetting this. --- lib/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/Makefile.am b/lib/Makefile.am index d511833327..2ed44ab327 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -502,6 +502,7 @@ dist_fonts_DATA = \ fonts/cmmi10.ttf \ fonts/cmr10.ttf \ fonts/cmsy10.ttf \ + fonts/dsrom10.ttf \ fonts/esint10.ttf \ fonts/eufm10.ttf \ fonts/msam10.ttf \ -- 2.39.5