summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/fonts/source/public/logic/milstd.mf2
-rw-r--r--Master/texmf-dist/tex/latex/logic/milstd.tex (renamed from Master/texmf-dist/doc/latex/logic/milstd.tex)2
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds2
3 files changed, 2 insertions, 4 deletions
diff --git a/Master/texmf-dist/fonts/source/public/logic/milstd.mf b/Master/texmf-dist/fonts/source/public/logic/milstd.mf
index 403bf09599a..3830750d5bd 100644
--- a/Master/texmf-dist/fonts/source/public/logic/milstd.mf
+++ b/Master/texmf-dist/fonts/source/public/logic/milstd.mf
@@ -436,5 +436,3 @@ currentpicture := pic rotated 90 shifted(gatei,0);
endchar;
end;
-
- \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/logic/milstd.tex b/Master/texmf-dist/tex/latex/logic/milstd.tex
index 082fed14703..06e740fb613 100644
--- a/Master/texmf-dist/doc/latex/logic/milstd.tex
+++ b/Master/texmf-dist/tex/latex/logic/milstd.tex
@@ -30,5 +30,3 @@
\def\INVd{{\milstd\char22}}
\def\INVl{{\milstd\char23}}
\def\INVu{{\milstd\char24}}
-
- \ No newline at end of file
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 1778db1f940..6d8a89a432f 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -301,6 +301,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw
'lm', "&MAKEcopy",
'lms', "die 'skipping, nonfree license'",
'logfilter', "die 'skipping, nosource (and java)'",
+ 'logic', "&MAKEnosymlinks",
'lshort-bulgarian', '&MAKElshort',
'lshort-chinese', '&MAKElshort',
'lshort-english', '&MAKElshort',
@@ -862,6 +863,7 @@ $standardtex='\.(cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$';
'latex-course','NULL', # keep doc together
'latex-doc-ptr', 'NULL', # keep doc together
'lettre', '\.ins|\.cls',
+ 'logic', 'milstd\.tex',
'magyar', 'NULL', # do not install in runtime, conflicts with babel
'manjutex', '\.sty|\.clo|\.ldf|\.cls|\.def|\.fd$|manju.tex',
'mathdots', 'mathdots\.tex|' . $standardtex,