diff options
Diffstat (limited to 'Build/cdbuild/tpm2/Makefile')
-rw-r--r-- | Build/cdbuild/tpm2/Makefile | 99 |
1 files changed, 99 insertions, 0 deletions
diff --git a/Build/cdbuild/tpm2/Makefile b/Build/cdbuild/tpm2/Makefile new file mode 100644 index 00000000000..fc0f7b44d1f --- /dev/null +++ b/Build/cdbuild/tpm2/Makefile @@ -0,0 +1,99 @@ +run: run1 run2 + +run1: + for i in `ls /texlive/Master/texmf-dist/tpm/package/*tpm /texlive/Master/texmf-package/tpm/binary/*tpm `; do xsltproc -o `basename $$i .tpm`.xml tpm2xml.xsl $$i; done + +run2: + for i in \ + abc2mtex \ + adfathesis \ + afthesis \ + arabtex \ + askinclude \ + auctex \ + biblio-perl \ + catdoc \ + catdvi \ + cmactex \ + dvi2bitmap \ + dvi2tty \ + dviconcat \ + dvicopy \ + dviout \ + dvips \ + eco \ + emtex \ + fbithesis \ + floatfig \ + foiltex \ + fptex \ + gentl-gr \ + gnuplot \ + gsview \ + javascript-texed \ + jdvi \ + jkthesis \ + jpeg2ps \ + labelmag \ + latable \ + latexdraw \ + latexwide \ + llncs \ + lollipop \ + malvern \ + miktex \ + mnras \ + muthesis \ + oztex \ + pitthesis \ + pstoedit \ + revtex \ + scientificviewer \ + svjour \ + taylor \ + techexplorer \ + texaide \ + texdoctk \ + texniccenter \ + texshell32 \ + texsis \ + text1 \ + textmerg \ + thesis \ + tmview \ + transfig \ + ttf2mf \ + ttf2pk \ + tth \ + ucthesis \ + ut-thesis \ + utorontothesis \ + utthesis \ + uwthesis \ + vfinst \ + vicentino \ + vtex \ + winedt \ + winlatex \ + winshell \ + wmf2eps \ + wp2latex \ + xdvik \ + xfig \ + xtexcad \ + ; do xsltproc -o $$i.xml xml2xml.xsl /texlive/Master/texmf-dist/doc/html/catalogue/entries/$$i.xml; done + +allvalid: + echo "<TPMS>" > tmp.xml + (for i in *.xml; do echo "<xs:include xmlns:xs=\"http://www.w3.org/2001/XInclude\" href=\"$$i\"/>"; done) |grep -v cats.xml | grep -v tmp.xml | grep -v all.xml >> tmp.xml + echo "</TPMS>" >> tmp.xml + xmllint --xinclude tmp.xml > all.xml + rm tmp.xml + xmllint --noout --relaxng tpm2.rng all.xml + +valid: + for i in `ls *.xml | grep -v cats.xml | grep -v all.xml`; do rxp -V -s $$i;done + + +clean: + -rm *.xml |