cplusplus
diff --git a/‎source/Makefile
Lines changed: 1 addition & 1 deletion b/‎source/Makefile
Lines changed: 1 addition & 1 deletion
diff --git a/‎source/figdag.pdf
-268 Bytes b/‎source/figdag.pdf
-268 Bytes
diff --git a/‎source/figname.pdf
-313 Bytes b/‎source/figname.pdf
-313 Bytes
diff --git a/‎source/fignonvirt.pdf
-126 Bytes b/‎source/fignonvirt.pdf
-126 Bytes
diff --git a/‎source/figvirt.pdf
-209 Bytes b/‎source/figvirt.pdf
-209 Bytes
diff --git a/‎source/figvirtnonvirt.pdf
-607 Bytes b/‎source/figvirtnonvirt.pdf
-607 Bytes
diff --git a/‎source/valuecategories.pdf
-318 Bytes b/‎source/valuecategories.pdf
-318 Bytes
@@ -15,7 +15,7 @@ quiet:
 	latexmk -pdf std -e '$$max_repeat = 1;' -silent || ( rm std.pdf; latexmk -pdf std -e '$$max_repeat = 4;' )
 
 %.pdf: %.dot
-	dot -o $@ -Tpdf $<
+	dot -o $@ -Tpdf $< -Nfontname=NewComputerModernSans10
 
 clean-figures:
 	rm -f $(FIGURES)