summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/tex/xmltex/xmltexconfig/pdfxmltex.ini8
-rw-r--r--Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini7
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check7
-rw-r--r--Master/tlpkg/tlpsrc/collection-htmlxml.tlpsrc3
-rw-r--r--Master/tlpkg/tlpsrc/xmltex.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc0
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