| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | ## ================================================================= |
|---|
| 4 | ## Logtalk - Object oriented extension to Prolog |
|---|
| 5 | ## Release 2.21.1 |
|---|
| 6 | ## |
|---|
| 7 | ## Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. |
|---|
| 8 | ## ================================================================= |
|---|
| 9 | |
|---|
| 10 | XT_PATH="/Applications/XML/XT" |
|---|
| 11 | # XT_PATH="/usr/local/XT" |
|---|
| 12 | |
|---|
| 13 | XSLT="lgtxhtml.xsl" |
|---|
| 14 | |
|---|
| 15 | if [ -z "$1" ]; then |
|---|
| 16 | title="Entity documentation index" |
|---|
| 17 | else |
|---|
| 18 | title="$1" |
|---|
| 19 | fi |
|---|
| 20 | |
|---|
| 21 | echo |
|---|
| 22 | echo This script converts all .xml files in the current directory to .html |
|---|
| 23 | echo files applying the XSLT transformation defined in the $XSLT file |
|---|
| 24 | echo using the James Clark XT XSLT Java processor 20020426a or later version. |
|---|
| 25 | echo |
|---|
| 26 | echo An index.html file, containing links to all .html documenting files, |
|---|
| 27 | echo is automatically generated. This file uses the script optional parameter |
|---|
| 28 | echo value as the title of the index.html file. |
|---|
| 29 | echo |
|---|
| 30 | echo converting XML files to XHTML... |
|---|
| 31 | |
|---|
| 32 | for file in *.xml; do |
|---|
| 33 | echo " converting" $file |
|---|
| 34 | name="`expr "$file" : '\(.*\)\.[^./]*$' \| "$file"`" |
|---|
| 35 | eval 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 $file $XSLT $name.html |
|---|
| 36 | done |
|---|
| 37 | |
|---|
| 38 | echo conversion done |
|---|
| 39 | echo |
|---|
| 40 | echo generating index file... |
|---|
| 41 | |
|---|
| 42 | echo "" > index.html |
|---|
| 43 | |
|---|
| 44 | echo "<?xml version=\"1.0\"?>" >> index.html |
|---|
| 45 | echo "<?xml-stylesheet href=\"logtalk.css\" type=\"text/css\"?>" >> index.html |
|---|
| 46 | echo "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">" >> index.html |
|---|
| 47 | echo "<html lang=\"en\" xml:lang=\"en\" xmlns=\"http://www.w3.org/1999/xhtml\">" >> index.html |
|---|
| 48 | echo "<head>" >> index.html |
|---|
| 49 | echo " <meta http-equiv=\"content-type\" content=\"text/html; charset=utf-8\"/>" >> index.html |
|---|
| 50 | echo " <title>"$title"</title>" >> index.html |
|---|
| 51 | echo " <link rel=\"stylesheet\" href=\"logtalk.css\" type=\"text/css\">" >> index.html |
|---|
| 52 | echo "</head>" >> index.html |
|---|
| 53 | echo "<body>" >> index.html |
|---|
| 54 | echo "<h1>"$title"</h1>" >> index.html |
|---|
| 55 | echo "<ul>" >> index.html |
|---|
| 56 | |
|---|
| 57 | for file in *.xml; do |
|---|
| 58 | name="`expr "$file" : '\(.*\)\.[^./]*$' \| "$file"`" |
|---|
| 59 | echo " indexing" $name.html |
|---|
| 60 | echo " <li><a href=\""$name.html"\">"$name"</a></li>" >> index.html |
|---|
| 61 | done |
|---|
| 62 | |
|---|
| 63 | echo "</ul>" >> index.html |
|---|
| 64 | |
|---|
| 65 | date="`eval date`" |
|---|
| 66 | |
|---|
| 67 | echo "<p>Generated on "$date"</p>" >> index.html |
|---|
| 68 | echo "</body>" >> index.html |
|---|
| 69 | echo "</html>" >> index.html |
|---|
| 70 | |
|---|
| 71 | echo index file generated |
|---|
| 72 | echo |
|---|
