From 2300b59dcc0bc2ad95befd1d191e34b58283044a Mon Sep 17 00:00:00 2001
From: Joseph Weston <joseph.weston08@gmail.com>
Date: Tue, 12 Sep 2017 18:08:22 +0200
Subject: [PATCH] doc: use inkscape to convert SVG to PDF

Produce vector graphics, rather than rasterizing,
as rsvg-convert does.
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index b9fd8839..1da60420 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -127,7 +127,7 @@ doctest:
 	      "results in $(BUILDDIR)/doctest/output.txt."
 
 %.pdf: %.svg
-	rsvg-convert -f pdf -o $@ $<
+	inkscape --export-pdf=$@ $<
 
 # Make tutorial scripts by extracting the (complete!) context of the "patches".
 # We make sure not to use 'wiggle' here.
-- 
GitLab