/doc/English/userguide/pdfgen

http://txt2tags.googlecode.com/ · #! · 18 lines · 15 code · 3 blank · 0 comment · 0 complexity · b324a991d2a4c9cd759cbd6f4418d016 MD5 · raw file 

    

  1. #!/bin/bash
    2. 

  2. 

  3. # This script generates the PDF version of the User Guide.
    4. 

  4. # The HTMLDOC software is required.
    5. 

  5. 

  6. t2t=txt2tags
    7. 

  7. html=userguide-pdf.html
    8. 

  8. out=../userguide.pdf
    9. 

  9. in=userguide.t2t
    10. 

  10. 

  11. cp $in $in.tmp
    12. 

  12. sed 's/^%pdf//' $in.tmp > $in
    13. 

  13. $t2t $in
    14. 

  14. htmldoc --batch pdf.book
    15. 

  15. rm $html
    16. 

  16. echo saved $out
    17. 

  17. mv $in.tmp $in
    18. 

  18. exit 0
    19.