summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/type1/public
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/type1/public
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/type1/public')
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnb10.pfbbin0 -> 75369 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnb8.pfbbin0 -> 75798 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnb9.pfbbin0 -> 77811 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfbbin0 -> 68651 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfbbin0 -> 69151 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfbbin0 -> 68603 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfbbin0 -> 71525 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfbbin0 -> 69444 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfbbin0 -> 71400 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfbbin0 -> 77159 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfbbin0 -> 76426 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfbbin0 -> 78323 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnc10.pfbbin0 -> 74884 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnc8.pfbbin0 -> 75136 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnc9.pfbbin0 -> 76813 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncb10.pfbbin0 -> 68105 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncb8.pfbbin0 -> 68318 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncb9.pfbbin0 -> 67761 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfbbin0 -> 70843 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfbbin0 -> 68764 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfbbin0 -> 70895 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnci10.pfbbin0 -> 76285 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnci8.pfbbin0 -> 75883 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnci9.pfbbin0 -> 77727 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvng10.pfbbin0 -> 75458 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvng8.pfbbin0 -> 75928 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvng9.pfbbin0 -> 78789 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngb10.pfbbin0 -> 71694 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngb8.pfbbin0 -> 71091 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngb9.pfbbin0 -> 70286 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfbbin0 -> 72594 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfbbin0 -> 70797 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfbbin0 -> 71461 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngi10.pfbbin0 -> 78484 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngi8.pfbbin0 -> 78176 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvngi9.pfbbin0 -> 78366 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnn10.pfbbin0 -> 74835 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnn8.pfbbin0 -> 75385 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnn9.pfbbin0 -> 77070 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfbbin0 -> 68254 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfbbin0 -> 68395 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfbbin0 -> 67822 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfbbin0 -> 70752 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfbbin0 -> 68857 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfbbin0 -> 70886 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnni10.pfbbin0 -> 76679 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnni8.pfbbin0 -> 76030 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvnni9.pfbbin0 -> 77844 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpb10.pfbbin0 -> 77469 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpb8.pfbbin0 -> 76763 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpb9.pfbbin0 -> 75879 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpc10.pfbbin0 -> 76893 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpc8.pfbbin0 -> 76317 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpc9.pfbbin0 -> 76873 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpn10.pfbbin0 -> 79504 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpn8.pfbbin0 -> 77390 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpn9.pfbbin0 -> 78175 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfbbin0 -> 78975 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfbbin0 -> 77029 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfbbin0 -> 77631 bytes
60 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb10.pfb
new file mode 100644
index 00000000000..14c7be86f6a
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb8.pfb
new file mode 100644
index 00000000000..b00430d3bbe
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb9.pfb
new file mode 100644
index 00000000000..79809525877
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfb
new file mode 100644
index 00000000000..19aa0600dc6
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfb
new file mode 100644
index 00000000000..87d01ec5ca6
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfb
new file mode 100644
index 00000000000..cbc64453454
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfb
new file mode 100644
index 00000000000..4bd36b2547f
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfb
new file mode 100644
index 00000000000..79821fe2dde
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfb
new file mode 100644
index 00000000000..091cff0dc13
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfb
new file mode 100644
index 00000000000..1018a42b26d
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfb
new file mode 100644
index 00000000000..f3c29a93256
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfb
new file mode 100644
index 00000000000..9b3bc85cb20
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnc10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc10.pfb
new file mode 100644
index 00000000000..54209f8584f
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnc8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc8.pfb
new file mode 100644
index 00000000000..a39af323d03
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnc9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc9.pfb
new file mode 100644
index 00000000000..d2b3287b917
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnc9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb10.pfb
new file mode 100644
index 00000000000..7ccc10ee710
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb8.pfb
new file mode 100644
index 00000000000..69b1973c3ec
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb9.pfb
new file mode 100644
index 00000000000..a4b99389a43
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfb
new file mode 100644
index 00000000000..47b587628a9
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfb
new file mode 100644
index 00000000000..4feb92278bd
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfb
new file mode 100644
index 00000000000..f7940a1bb37
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnci10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci10.pfb
new file mode 100644
index 00000000000..17123788de3
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnci8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci8.pfb
new file mode 100644
index 00000000000..3a70f50b11e
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnci9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci9.pfb
new file mode 100644
index 00000000000..9f62d4b6c04
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnci9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvng10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvng10.pfb
new file mode 100644
index 00000000000..09b08011ed4
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvng10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvng8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvng8.pfb
new file mode 100644
index 00000000000..29332439f43
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvng8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvng9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvng9.pfb
new file mode 100644
index 00000000000..e092244324a
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvng9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb10.pfb
new file mode 100644
index 00000000000..9dc450fa67a
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb8.pfb
new file mode 100644
index 00000000000..446d09102de
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb9.pfb
new file mode 100644
index 00000000000..73b7e549e4c
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfb
new file mode 100644
index 00000000000..6a3269afc73
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfb
new file mode 100644
index 00000000000..b762ac5e534
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfb
new file mode 100644
index 00000000000..c323be02ec6
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi10.pfb
new file mode 100644
index 00000000000..2349af1bc5e
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi8.pfb
new file mode 100644
index 00000000000..c5cf7cd6599
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvngi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi9.pfb
new file mode 100644
index 00000000000..febb7207a56
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvngi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnn10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn10.pfb
new file mode 100644
index 00000000000..ecb24a1bd23
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnn8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn8.pfb
new file mode 100644
index 00000000000..6718a80d7fd
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnn9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn9.pfb
new file mode 100644
index 00000000000..4f5a6a13c5a
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnn9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfb
new file mode 100644
index 00000000000..5be9b0f0a41
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfb
new file mode 100644
index 00000000000..e8be62304b8
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfb
new file mode 100644
index 00000000000..b8cc1576e08
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfb
new file mode 100644
index 00000000000..5a753511170
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfb
new file mode 100644
index 00000000000..7dc2438ca96
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfb
new file mode 100644
index 00000000000..118b7330817
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnni10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni10.pfb
new file mode 100644
index 00000000000..9768d40c35f
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnni8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni8.pfb
new file mode 100644
index 00000000000..ed5280946b6
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvnni9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni9.pfb
new file mode 100644
index 00000000000..9f0240b67f1
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvnni9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpb10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb10.pfb
new file mode 100644
index 00000000000..7f48e1b4cca
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpb8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb8.pfb
new file mode 100644
index 00000000000..c3cd3f6c788
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpb9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb9.pfb
new file mode 100644
index 00000000000..4d998f05311
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpb9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpc10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc10.pfb
new file mode 100644
index 00000000000..e3fbc94ca22
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpc8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc8.pfb
new file mode 100644
index 00000000000..28388bfe111
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpc9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc9.pfb
new file mode 100644
index 00000000000..6526949ab0a
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpc9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpn10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn10.pfb
new file mode 100644
index 00000000000..98681eda4cf
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpn8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn8.pfb
new file mode 100644
index 00000000000..f02c2642aa8
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpn9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn9.pfb
new file mode 100644
index 00000000000..a201b1b7cf1
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpn9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfb
new file mode 100644
index 00000000000..13851ad3592
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfb
new file mode 100644
index 00000000000..f3ba4edaa8d
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfb b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfb
new file mode 100644
index 00000000000..b01d4e4682f
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfb
Binary files differ