diff options
| author | Frans Pop <elendil@planet.nl> | 2006-02-01 12:07:39 +0000 |
|---|---|---|
| committer | Frans Pop <elendil@planet.nl> | 2006-02-01 12:07:39 +0000 |
| commit | d70b37707062782e2a7fa92be43b46839ec76ed4 (patch) | |
| tree | b740074322cfc1b4c94a0f88575b26065a6f8b6f /build | |
| parent | 43c731ee89cc6c30247e08a8c4bb834b1d477e6e (diff) | |
| download | installation-guide-d70b37707062782e2a7fa92be43b46839ec76ed4.zip | |
Explicitly specify XML declaration as required by openjade 1.4devel1-15
Diffstat (limited to 'build')
| -rwxr-xr-x | build/buildone.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index a1d3d0ea3..cf27d7c82 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -182,7 +182,7 @@ create_dvi () { -b utf-8 \ -o $tempdir/install.${language}.tex \ -d $stylesheet_dsssl \ - -V tex-backend \ + -V tex-backend declaration/xml.dcl \ $tempdir/install.${language}.profiled.xml RET=$?; [ $RET -ne 0 ] && return $RET |