diff options
Diffstat (limited to 'Master/texmf/lists/skull')
-rw-r--r-- | Master/texmf/lists/skull | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf/lists/skull b/Master/texmf/lists/skull index d1255feb7d1..40fdf4f5313 100644 --- a/Master/texmf/lists/skull +++ b/Master/texmf/lists/skull @@ -1,6 +1,7 @@ -texmf-dist/doc/latex/skull/skull.mf + texmf-dist/source/latex/skull/skull.dtx texmf-dist/source/latex/skull/skull.ins +texmf-dist/fonts/source/public/skull/skull.mf texmf-dist/tex/latex/skull/skull.sty texmf-dist/tpm/skull.tpm |