6 files changed, 0 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/fonts/timing/timing.dvi b/Master/texmf-dist/doc/fonts/timing/timing.dvi
deleted file mode 100644
index d55c03a25ac..00000000000
--- a/Master/texmf-dist/doc/fonts/timing/timing.dvi
+++ /dev/null
diff --git a/Master/texmf-dist/doc/fonts/timing/timing.pdf b/Master/texmf-dist/doc/fonts/timing/timing.pdf
new file mode 100644
index 00000000000..ae5830e945e
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/timing/timing.pdf
diff --git a/Master/texmf-dist/doc/fonts/timing/timing1.pk b/Master/texmf-dist/doc/fonts/timing/timing1.pk
new file mode 100644
index 00000000000..b432d2a9108
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/timing/timing1.pk
diff --git a/Master/texmf-dist/doc/fonts/timing/timing1s.pk b/Master/texmf-dist/doc/fonts/timing/timing1s.pk
new file mode 100644
index 00000000000..6e87ef3e599
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/timing/timing1s.pk
diff --git a/Master/texmf-dist/doc/fonts/timing/timing2.pk b/Master/texmf-dist/doc/fonts/timing/timing2.pk
new file mode 100644
index 00000000000..076e4e0ca2f
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/timing/timing2.pk
diff --git a/Master/texmf-dist/doc/fonts/timing/timing2s.pk b/Master/texmf-dist/doc/fonts/timing/timing2s.pk
new file mode 100644
index 00000000000..6cb1ac775a0
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/timing/timing2s.pk