diff options
| -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 d86ddb44b..d27f58fda 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -194,7 +194,7 @@ create_dvi () { echo "Info: creating temporary .dvi file..." - # Next we use jadetext to generate a .dvi file + # Next we use jadetex to generate a .dvi file # This needs three passes to properly generate the index (page numbering) cd $tempdir for PASS in 1 2 3 ; do |