summaryrefslogtreecommitdiff
path: root/Master/texmf/lists
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists')
-rw-r--r--Master/texmf/lists/lkproof7
-rw-r--r--Master/texmf/lists/proof7
2 files changed, 7 insertions, 7 deletions
diff --git a/Master/texmf/lists/lkproof b/Master/texmf/lists/lkproof
new file mode 100644
index 00000000000..efc351d3f5e
--- /dev/null
+++ b/Master/texmf/lists/lkproof
@@ -0,0 +1,7 @@
+texmf-dist/doc/latex/lkproof/proofeg.pdf
+texmf-dist/doc/latex/lkproof/proofeg.tex
+
+texmf-dist/tex/latex/lkproof/proof.sty
+texmf-dist/tpm/lkproof.tpm
+
+texmf/lists/lkproof
diff --git a/Master/texmf/lists/proof b/Master/texmf/lists/proof
deleted file mode 100644
index ba5b557d505..00000000000
--- a/Master/texmf/lists/proof
+++ /dev/null
@@ -1,7 +0,0 @@
-texmf-dist/doc/latex/proof/proofeg.pdf
-texmf-dist/doc/latex/proof/proofeg.tex
-
-texmf-dist/tex/latex/proof/proof.sty
-texmf-dist/tpm/proof.tpm
-
-texmf/lists/proof