| 67 |
create_profiled |
create_profiled |
| 68 |
$xsltprocessor \ |
$xsltprocessor \ |
| 69 |
--xinclude \ |
--xinclude \ |
| 70 |
--stringparam base.dir ./results/${language}.${arch}/html/ \ |
--stringparam base.dir ./$destination/${language}.${arch}/html/ \ |
| 71 |
$stylesheet_html \ |
$stylesheet_html \ |
| 72 |
$tempdir/install.${language}.profiled.xml |
$tempdir/install.${language}.profiled.xml |
| 73 |
checkresult $? |
checkresult $? |
| 83 |
-b utf-8 \ |
-b utf-8 \ |
| 84 |
-o $tempdir/install.${language}.tex \ |
-o $tempdir/install.${language}.tex \ |
| 85 |
-d $stylesheet_dsssl \ |
-d $stylesheet_dsssl \ |
| 86 |
|
-V tex-backend \ |
| 87 |
$tempdir/install.${language}.profiled.xml |
$tempdir/install.${language}.profiled.xml |
| 88 |
|
|
| 89 |
# Next we use jadetext to generate a .dvi file |
# Next we use jadetext to generate a .dvi file |
| 100 |
|
|
| 101 |
create_profiled |
create_profiled |
| 102 |
create_dvi |
create_dvi |
| 103 |
mkdir -p results/${language}.${arch}/pdf |
mkdir -p $destination/${language}.${arch}/pdf |
| 104 |
dvipdf $tempdir/install.${language}.dvi |
dvipdf $tempdir/install.${language}.dvi |
| 105 |
mv install.${language}.pdf results/${language}.${arch}/pdf |
mv install.${language}.pdf $destination/${language}.${arch}/pdf |
| 106 |
} |
} |
| 107 |
|
|
| 108 |
create_ps() { |
create_ps() { |
| 109 |
|
|
| 110 |
create_profiled |
create_profiled |
| 111 |
create_dvi |
create_dvi |
| 112 |
mkdir -p results/${language}.${arch}/ps |
mkdir -p $destination/${language}.${arch}/ps |
| 113 |
dvips $tempdir/install.${language}.dvi |
dvips $tempdir/install.${language}.dvi |
| 114 |
mv install.${language}.ps results/${language}.${arch}/ps |
mv install.${language}.ps $destination/${language}.${arch}/ps |
| 115 |
} |
} |
| 116 |
|
|
| 117 |
stylesheet_dir="stylesheets" |
stylesheet_dir="stylesheets" |
| 123 |
|
|
| 124 |
xsltprocessor=/usr/bin/xsltproc |
xsltprocessor=/usr/bin/xsltproc |
| 125 |
|
|
| 126 |
|
|
| 127 |
|
if [ -z $destination ]; then |
| 128 |
|
destination="results" |
| 129 |
|
fi |
| 130 |
|
|
| 131 |
tempdir=${language}.temp |
tempdir=${language}.temp |
| 132 |
mkdir -p $tempdir |
mkdir -p $tempdir |
| 133 |
|
|
| 134 |
|
|
| 135 |
|
|
| 136 |
## Create the profiled XML file... |
## Create the profiled XML file... |
| 137 |
|
|
| 138 |
## Create the requested format... |
## Create the requested format... |