summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf')
-rw-r--r--Master/texmf/lists/semantic2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/lists/semantic b/Master/texmf/lists/semantic
index 02242a89f9a..cbb84139a04 100644
--- a/Master/texmf/lists/semantic
+++ b/Master/texmf/lists/semantic
@@ -1,4 +1,4 @@
-
+texmf-dist/doc/latex/semantic/semantic.pdf
texmf-dist/source/latex/semantic/semantic.dtx
texmf-dist/source/latex/semantic/semantic.ins
texmf-dist/tex/latex/semantic/infernce.sty