From: Jerome Benoit Date: Sat, 29 Oct 2022 13:15:30 +0000 (+0100) Subject: debianization: use local fonts X-Git-Tag: archive/raspbian/0.9.10+ds-2+rpi1^2~1 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5743624058660c799ab4d2ba4af1cef16ed32eeb;p=igraph.git debianization: use local fonts Origin: debian Forwarded: not-needed Last-Update: 2021-04-11 Gbp-Pq: Name debianization-doc-local_fonts.patch --- diff --git a/doc/gtk-doc.xsl b/doc/gtk-doc.xsl index 14d252e..34b1ccf 100644 --- a/doc/gtk-doc.xsl +++ b/doc/gtk-doc.xsl @@ -102,7 +102,7 @@ Get a newer version at http://docbook.sourceforge.net/projects/xsl/ content="GTK-Doc V{$gtkdoc.version} (XML mode)"/> - +