source:
gli/tags/3.03/help/generate-html.sh@
16831
Last change on this file since 16831 was 12724, checked in by , 18 years ago | |
---|---|
|
|
File size: 437 bytes |
Line | |
---|---|
1 | #!/bin/sh |
2 | |
3 | glihome=$GSDLHOME/gli |
4 | |
5 | if [ "$glihome" == "" ]; then |
6 | # assume glihelp in its usual place |
7 | pushd ../ > /dev/null |
8 | glihome=`pwd` |
9 | popd > /dev/null |
10 | fi |
11 | |
12 | echo "processing english version" |
13 | cd en |
14 | java -cp $glihome -DGSDLHOME=$GSDLHOME ApplyXSLT ../gen-many-html.xsl help.xml | perl -S ../splithelpdocument.pl |
15 | java -cp $glihome -DGSDLHOME=$GSDLHOME ApplyXSLT ../gen-index-xml.xsl help.xml > help_index.xml |
16 | cd .. |
17 | |
18 | |
19 |
Note:
See TracBrowser
for help on using the repository browser.