diff options
-rw-r--r-- | Master/texmf-dist/tex/xmltex/xmltexconfig/pdfxmltex.ini | 8 | ||||
-rw-r--r-- | Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini | 7 | ||||
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 7 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc | 3 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc | 0 |
6 files changed, 22 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/xmltex/xmltexconfig/pdfxmltex.ini b/Master/texmf-dist/tex/xmltex/xmltexconfig/pdfxmltex.ini new file mode 100644 index 00000000000..d10dfb38a39 --- /dev/null +++ b/Master/texmf-dist/tex/xmltex/xmltexconfig/pdfxmltex.ini @@ -0,0 +1,8 @@ +% public domain. +\let\primitivedump=\dump +\let\dump=\relax +\input pdflatex.ini +\let\dump=\primitivedump + +% then read jadetex. pdf output must be set first, since it needs hyperref. +\input xmltex.tex diff --git a/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini b/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini new file mode 100644 index 00000000000..a9a433d4aac --- /dev/null +++ b/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini @@ -0,0 +1,7 @@ +% public domain. +\let\primitivedump=\dump +\let\dump=\relax +\input latex.ini +\let\dump=\primitivedump + +\input xmltex.tex diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 91cacfb0937..c53815d65b1 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -650,11 +650,11 @@ my @TLP_no_check = ( "synctex", # binary "t1utils", # binary "tds", # stable, don't worry until next update - "tetex", # our sources + "tetex", # we maintain "tex", # binary "tex-virtual-academy-pl",# GUST, requested 2012 "tex4ht", # binary - "texconfig", # our sources + "texconfig", # we maintain "texdoc", # binary "texinfo", # tl-update-auto "texlive.infra", # binary @@ -670,8 +670,9 @@ my @TLP_no_check = ( "web", # binary "xdvi", # binary "xetex", # binary - "xetexconfig", # our sources + "xetexconfig", # we maintain "xindy", # binary + "xmltexconfig", # we maintain ); exit (&main ()); diff --git a/Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc b/Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc index fe3f1e4888c..50b00e88170 100644 --- a/Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc @@ -1,6 +1,6 @@ category Collection shortdesc HTML/SGML/XML support -longdesc Packages to convert LaTeX to XML/HTML, and typset XML/SGML. +longdesc Packages to convert LaTeX to XML/HTML, and typeset XML/SGML. # depend collection-basic depend collection-fontsrecommended @@ -11,3 +11,4 @@ depend jadetex depend passivetex depend tex4ht depend xmltex +depend xmltexconfig diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index 8ca12c794e2..ea1951fbd65 100644 --- a/Master/tlpkg/tlpsrc/xmltex.tlpsrc +++ b/Master/tlpkg/tlpsrc/xmltex.tlpsrc @@ -1,6 +1,7 @@ depend latex depend pdftex depend tex +depend xmltexconfig # execute AddFormat name=xmltex engine=pdftex patterns=language.dat \ options="*xmltex.ini" diff --git a/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc b/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc |