From 5df2bd1a128581c2ce4f42bb123e2a86c10cc3c6 Mon Sep 17 00:00:00 2001
From: Thorsten Vitt <thorsten.vitt@uni-wuerzburg.de>
Date: Mon, 22 May 2017 16:49:50 +0200
Subject: [PATCH] fixup! Install a profile with our fonts as default.

---
 src/main/java/net/faustedition/gen/DiplomaticConversion.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/net/faustedition/gen/DiplomaticConversion.java b/src/main/java/net/faustedition/gen/DiplomaticConversion.java
index c8f08ea..5140c20 100644
--- a/src/main/java/net/faustedition/gen/DiplomaticConversion.java
+++ b/src/main/java/net/faustedition/gen/DiplomaticConversion.java
@@ -220,7 +220,7 @@ public static void main(final String[] args) throws IOException {
 			logger.info(MessageFormat.format("Web server runs on {0}", serverURL));
 			baseCmdLine = ImmutableList.of(
 					System.getProperty("phantomjs.binary", "/usr/local/bin/phantomjs"), 
-					"--profile", profile,
+					"--profile", profile.toString(),
 					debugPhantomJS? "--debug=true" : "",
 					"rendersvgs.js",
 					serverURL);