/[d-i]/trunk/installer/doc/manual/build/buildjade.sh
ViewVC logotype

Diff of /trunk/installer/doc/manual/build/buildjade.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 22111 by pronik-guest, Thu Sep 23 07:33:19 2004 UTC revision 22112 by fjpop-guest, Mon Sep 27 13:05:48 2004 UTC
# Line 34  if [ -f install.${language}.profiled.xml Line 34  if [ -f install.${language}.profiled.xml
34    
35          # Next we use jadetext to generate a .dvi file          # Next we use jadetext to generate a .dvi file
36          # This needs three passes to properly generate the index (pagenumbering)          # This needs three passes to properly generate the index (pagenumbering)
37          echo "Generating .dvi..."  #       echo "Generating .dvi..."
38          jadetex install.${language}.profiled.tex >/dev/null          jadetex install.${language}.profiled.tex
39          jadetex install.${language}.profiled.tex >/dev/null          jadetex install.${language}.profiled.tex
40          jadetex install.${language}.profiled.tex >/dev/null          jadetex install.${language}.profiled.tex
41          echo "Transcript written on install.nl.profiled.log."          rm install.${language}.profiled.out
42            rm install.${language}.profiled.aux
43    
44            # echo "Generating .pdf (using pdfjadetex)..."
45            # pdfjadetex install.${language}.profiled.tex
46    
47            # echo "Generating .pdf (using dvipdf)..."
48            dvipdf install.${language}.profiled.dvi
49  else  else
50          echo "install.${language}.profiled.xml not found; please run buildone.sh first."          echo "install.${language}.profiled.xml not found; please run buildone.sh first."
51  fi  fi
Legend:
Removed from v.22111  
changed lines
  Added in v.22112
  ViewVC Help
Powered by ViewVC 1.1.5