diff --git a/doc/gfx/font-used b/doc/gfx/font-used
new file mode 100644
index 00000000..46d3e5d3
--- /dev/null
+++ b/doc/gfx/font-used
@@ -0,0 +1 @@
+fraktur