From 660f81b3fdcc0ca436c95eaf41885accd74ec034 Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Fri, 24 Jun 2016 20:09:22 +0200
Subject: dvi: Use new font name instead of the old one

https://bugzilla.gnome.org/show_bug.cgi?id=612298

taken from:
https://git.gnome.org/browse/evince/commit/?id=8bab924
---
 backend/dvi/mdvi-lib/t1.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/dvi')

diff --git a/backend/dvi/mdvi-lib/t1.c b/backend/dvi/mdvi-lib/t1.c
index bc910ba6..d63f055c 100644
--- a/backend/dvi/mdvi-lib/t1.c
+++ b/backend/dvi/mdvi-lib/t1.c
@@ -143,7 +143,7 @@ char	*t1_lookup_font(const char *name, Ushort *hdpi, Ushort *vdpi)
 
 	/* get the `base' name */
 	if(ext) {
-		newname = mdvi_strdup(name);
+		newname = mdvi_strdup(info.fontfile);
 		newname[ext - info.fontfile - 1] = 0;
 	} else
 		newname = (char *)name; /* we don't modify this */
-- 
cgit v1.2.1