diff --git a/Logtalk/manuals/madewithmac.png b/Logtalk/manuals/madewithmac.png new file mode 100644 index 000000000..dd09ffc5c Binary files /dev/null and b/Logtalk/manuals/madewithmac.png differ diff --git a/Logtalk/manuals/valid-css.png b/Logtalk/manuals/valid-css.png new file mode 100644 index 000000000..9b2f596e0 Binary files /dev/null and b/Logtalk/manuals/valid-css.png differ diff --git a/Logtalk/manuals/valid-xhtml10.png b/Logtalk/manuals/valid-xhtml10.png new file mode 100644 index 000000000..2275ee6ea Binary files /dev/null and b/Logtalk/manuals/valid-xhtml10.png differ diff --git a/Logtalk/xml/htmldos.bat b/Logtalk/xml/htmldos.bat new file mode 100644 index 000000000..46e636981 --- /dev/null +++ b/Logtalk/xml/htmldos.bat @@ -0,0 +1,21 @@ +@ECHO off + +SET JAVA_HOME=c:\jdk1.3 + +SET XT_PATH=c:\xt +SET SAX_PATH=c:\xt +SET XP_PATH=c:\xt + +SET XSLT="lgthtml.xsl" + +ECHO This script converts all .xml files in the current directory to .html +ECHO files applying the XSLT transformation defined in the $XSLT file +ECHO using the James Clark XT XSLT Java processor + +FOR %%f IN (*.xml) DO %JAVA_HOME%\bin\java -cp "%XT_PATH%\xt.jar;%SAX_PATH%\sax.jar;%XP_PATH%\xp.jar" -Dcom.jclark.xsl.sax.parser=com.jclark.xml.sax.CommentDriver com.jclark.xsl.sax.Driver %%f %XSLT% %%f.html + +REN *.xml.html *.html + +ECHO conversion done + +@ECHO on diff --git a/Logtalk/xml/htmlnt.cmd b/Logtalk/xml/htmlnt.cmd new file mode 100755 index 000000000..617cd0bbb --- /dev/null +++ b/Logtalk/xml/htmlnt.cmd @@ -0,0 +1,58 @@ +@ECHO off + +SET JAVA_HOME=c:\jdk1.3 + +SET XT_PATH=c:\xt +SET SAX_PATH=c:\xt +SET XP_PATH=c:\xt + +SET XSLT=lgthtml.xsl + +IF "%1" == "" SET INDEX_TITLE=Entity documentation index +IF NOT "%1" == "" SET INDEX_TITLE=%1% + +ECHO This script converts all .xml files in the current directory to .html +ECHO files applying the XSLT transformation defined in the $XSLT file +ECHO using the James Clark XT XSLT Java processor +ECHO. +ECHO An index.html file, containing links to all .html documenting files, +ECHO is automatically generated. This file uses the script optional parameter +ECHO value as the title of the index.html file. +ECHO. +ECHO converting XML files to HTML... + +FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO IF EXIST %%f.html DEL %%f.html + +FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO %JAVA_HOME%\bin\java -cp "%XT_PATH%\xt.jar;%SAX_PATH%\sax.jar;%XP_PATH%\xp.jar" -Dcom.jclark.xsl.sax.parser=com.jclark.xml.sax.CommentDriver com.jclark.xsl.sax.Driver %%f.xml %XSLT% %%f.html + +ECHO conversion done +ECHO. +ECHO generating index file... + +IF EXIST index.html DEL index.html + +ECHO ^ >> index.html +ECHO ^ >> index.html +ECHO ^ >> index.html +ECHO ^%INDEX_TITLE%^ >> index.html +ECHO ^ >> index.html +ECHO ^ >> index.html +ECHO ^ >> index.html +ECHO ^%INDEX_TITLE%^ >> index.html +ECHO ^ >> index.html + +FOR /f "tokens=1-2 delims=." %%f IN ('DIR /b *.xml') DO ECHO ^^%%f^^ >> index.html + +ECHO ^ >> index.html + +ECHO ^Generated on >> index.html +DATE/T >> index.html +TIME/T >> index.html +ECHO ^ >> index.html + +ECHO ^ >> index.html +ECHO ^ >> index.html + +ECHO index file generated + +@ECHO on