/doc/German/userguide-de/pdfgen

http://txt2tags.googlecode.com/ · #! · 12 lines · 10 code · 2 blank · 0 comment · 0 complexity · af229e355f04964698644255763db401 MD5 · raw file 

    

  1. #!/bin/bash
    2. 

  2. 

  3. t2t=txt2tags
    4. 

  4. html=userguide-pdf.html
    5. 

  5. in=userguide-de.t2t
    6. 

  6. out=../userguide-de.pdf
    7. 

  7. 

  8. $t2t $in
    9. 

  9. htmldoc --batch pdf.book
    10. 

  10. rm $html
    11. 

  11. echo saved $out
    12. 

  12. exit 0
    13.