summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/tfm
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-06-17 22:31:18 +0000
committerKarl Berry <karl@freefriends.org>2006-06-17 22:31:18 +0000
commit18dd9efec69d7fe8cd3694a9562a6d0723ff4170 (patch)
tree0b231429bcdb21cd9a58ef44775c96143ee488ad /Master/texmf-dist/fonts/tfm
parent474dad2c52fddc85c57b3f1a1f6f2802f0d2eb62 (diff)
new package name velthuis, updating/replacing devanagari
git-svn-id: svn://tug.org/texlive/trunk@1691 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/tfm')
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvng10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvng8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvng9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfmbin0 -> 1572 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfmbin0 -> 1568 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfmbin0 -> 1576 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfmbin0 -> 1576 bytes
60 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfm
new file mode 100644
index 00000000000..996d8ae1c6c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfm
new file mode 100644
index 00000000000..20dc1dbdae4
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfm
new file mode 100644
index 00000000000..938bdb1f8f2
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfm
new file mode 100644
index 00000000000..a0bddec1315
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfm
new file mode 100644
index 00000000000..1c0b75c804b
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfm
new file mode 100644
index 00000000000..70de00a380f
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfm
new file mode 100644
index 00000000000..e80eb70fd63
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfm
new file mode 100644
index 00000000000..cc08d0ab825
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfm
new file mode 100644
index 00000000000..345c3cbb779
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfm
new file mode 100644
index 00000000000..41bfff60b7a
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfm
new file mode 100644
index 00000000000..ca38943df7d
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfm
new file mode 100644
index 00000000000..f768de348da
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfm
new file mode 100644
index 00000000000..baa2bba0209
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfm
new file mode 100644
index 00000000000..24eb24ad633
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfm
new file mode 100644
index 00000000000..7aae69c7049
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfm
new file mode 100644
index 00000000000..74b9e71bb8b
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfm
new file mode 100644
index 00000000000..e84cc7f118a
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfm
new file mode 100644
index 00000000000..feec7fc12d0
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfm
new file mode 100644
index 00000000000..51a0fef71a5
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfm
new file mode 100644
index 00000000000..d0ab6438d05
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfm
new file mode 100644
index 00000000000..e47d980c2f3
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfm
new file mode 100644
index 00000000000..bdffeebdd4a
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfm
new file mode 100644
index 00000000000..4543195f726
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfm
new file mode 100644
index 00000000000..43281edb304
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvng10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng10.tfm
new file mode 100644
index 00000000000..b81245881a3
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvng8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng8.tfm
new file mode 100644
index 00000000000..0ac78dba8dc
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvng9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng9.tfm
new file mode 100644
index 00000000000..3d72d69427d
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvng9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfm
new file mode 100644
index 00000000000..a6e39e64735
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfm
new file mode 100644
index 00000000000..797455a9504
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfm
new file mode 100644
index 00000000000..a1dc6be6dba
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfm
new file mode 100644
index 00000000000..5103536ed7e
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfm
new file mode 100644
index 00000000000..b83ee629357
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfm
new file mode 100644
index 00000000000..f45e43c3578
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfm
new file mode 100644
index 00000000000..46e670105e5
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfm
new file mode 100644
index 00000000000..e72f43ff536
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfm
new file mode 100644
index 00000000000..6b2be2123cc
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfm
new file mode 100644
index 00000000000..c884b0f983c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfm
new file mode 100644
index 00000000000..3a8d0a356f3
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfm
new file mode 100644
index 00000000000..94c732f8137
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfm
new file mode 100644
index 00000000000..f65a8a52a63
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfm
new file mode 100644
index 00000000000..1b51fe0ffc9
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfm
new file mode 100644
index 00000000000..2ef97826c55
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfm
new file mode 100644
index 00000000000..6a0290df5d9
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfm
new file mode 100644
index 00000000000..45a3415038c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfm
new file mode 100644
index 00000000000..6186aa9184f
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfm
new file mode 100644
index 00000000000..eb69b36c2a1
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfm
new file mode 100644
index 00000000000..3e27028c13d
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfm
new file mode 100644
index 00000000000..cdee6429233
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfm
new file mode 100644
index 00000000000..5dc285eb236
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfm
new file mode 100644
index 00000000000..492cb69d507
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfm
new file mode 100644
index 00000000000..b2a0e2e7f2c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfm
new file mode 100644
index 00000000000..b9e5fd113d3
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfm
new file mode 100644
index 00000000000..7c973b64df1
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfm
new file mode 100644
index 00000000000..c2b047f4dfa
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfm
new file mode 100644
index 00000000000..259729587ee
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfm
new file mode 100644
index 00000000000..f8aa434ce4c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfm
new file mode 100644
index 00000000000..146bbe52b84
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfm
new file mode 100644
index 00000000000..c143cdc3985
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfm
new file mode 100644
index 00000000000..49f20470b91
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfm b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfm
new file mode 100644
index 00000000000..644cd2f216c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfm
Binary files differ