PageRenderTime 8ms CodeModel.GetById 2ms app.highlight 2ms RepoModel.GetById 2ms 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
 1#!/bin/bash
 2
 3# This script generates the PDF version of the User Guide.
 4# The HTMLDOC software is required.
 5
 6t2t=txt2tags
 7html=userguide-pdf.html
 8out=../userguide.pdf
 9in=userguide.t2t
10
11cp $in $in.tmp
12sed 's/^%pdf//' $in.tmp > $in
13$t2t $in
14htmldoc --batch pdf.book
15rm $html
16echo saved $out
17mv $in.tmp $in
18exit 0