| 1 | @ECHO off |
|---|
| 2 | |
|---|
| 3 | SET JAVA_HOME=c:\jdk1.3 |
|---|
| 4 | |
|---|
| 5 | SET XT_PATH=c:\xt |
|---|
| 6 | |
|---|
| 7 | SET XSLT=lgthtml.xsl |
|---|
| 8 | REM SET XSLT=lgtxhtml.xsl |
|---|
| 9 | |
|---|
| 10 | IF "%1" == "" SET INDEX_TITLE=Entity documentation index |
|---|
| 11 | IF NOT "%1" == "" SET INDEX_TITLE=%1% |
|---|
| 12 | |
|---|
| 13 | ECHO This script converts all .xml files in the current directory to .html |
|---|
| 14 | ECHO files applying the XSLT transformation defined in the $XSLT file |
|---|
| 15 | ECHO using the James Clark XT XSLT Java processor 20020426a or later version. |
|---|
| 16 | ECHO. |
|---|
| 17 | ECHO An index.html file, containing links to all .html documenting files, |
|---|
| 18 | ECHO is automatically generated. This file uses the script optional parameter |
|---|
| 19 | ECHO value as the title of the index.html file. |
|---|
| 20 | ECHO. |
|---|
| 21 | ECHO converting XML files to HTML... |
|---|
| 22 | |
|---|
| 23 | FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO IF EXIST %%f.html DEL %%f.html |
|---|
| 24 | |
|---|
| 25 | FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO %JAVA_HOME%\bin\java -cp "%XT_PATH%\xt.jar;%XT_PATH%\lib\xp.jar" -Dcom.jclark.xsl.sax.parser=com.jclark.xml.sax.CommentDriver com.jclark.xsl.sax.Driver %%f.xml %XSLT% %%f.html |
|---|
| 26 | |
|---|
| 27 | ECHO conversion done |
|---|
| 28 | ECHO. |
|---|
| 29 | ECHO generating index file... |
|---|
| 30 | |
|---|
| 31 | IF EXIST index.html DEL index.html |
|---|
| 32 | |
|---|
| 33 | ECHO ^<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"^> >> index.html |
|---|
| 34 | ECHO ^<html^> >> index.html |
|---|
| 35 | ECHO ^<head^> >> index.html |
|---|
| 36 | ECHO ^<title^>%INDEX_TITLE%^</title^> >> index.html |
|---|
| 37 | ECHO ^<link rel="stylesheet" href="logtalk.css" type="text/css"^> >> index.html |
|---|
| 38 | ECHO ^</head^> >> index.html |
|---|
| 39 | ECHO ^<body^> >> index.html |
|---|
| 40 | ECHO ^<h1^>%INDEX_TITLE%^</h1^> >> index.html |
|---|
| 41 | ECHO ^<ul^> >> index.html |
|---|
| 42 | |
|---|
| 43 | FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO ECHO ^<li^>^<a href="%%f.html"^>%%f^</a^>^</li^> >> index.html |
|---|
| 44 | |
|---|
| 45 | ECHO ^</ul^> >> index.html |
|---|
| 46 | |
|---|
| 47 | ECHO ^<p^>Generated on >> index.html |
|---|
| 48 | DATE/T >> index.html |
|---|
| 49 | TIME/T >> index.html |
|---|
| 50 | ECHO ^</p^> >> index.html |
|---|
| 51 | |
|---|
| 52 | ECHO ^</body^> >> index.html |
|---|
| 53 | ECHO ^</html^> >> index.html |
|---|
| 54 | |
|---|
| 55 | ECHO index file generated |
|---|
| 56 | |
|---|
| 57 | @ECHO on |
|---|
