PageRenderTime 41ms CodeModel.GetById 14ms RepoModel.GetById 1ms app.codeStats 0ms

/doc/English/userguide/pdfgen

http://txt2tags.googlecode.com/
#! | 18 lines | 15 code | 3 blank | 0 comment | 0 complexity | b324a991d2a4c9cd759cbd6f4418d016 MD5 | raw file
Possible License(s): GPL-2.0, GPL-3.0, WTFPL 
    

  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. 

  19.