File: update_doc.sh

package info (click to toggle)
tex4ht 20080701-2
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 41,280 kB
  • ctags: 2,625
  • sloc: ansic: 12,111; java: 2,991; sh: 922; perl: 346; makefile: 113
file content (33 lines) | stat: -rw-r--r-- 586 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
#!/bin/sh
# Created by Kapil Hari Paranjape <kapil@imsc.res.in>
# This updates the html documentation in debian/{html,images}
# if the file debian/doc/tex4ht_doc.tex has changed.

set -e

mkdir -p doc
cd doc
cp -p ../debian/html/tex4ht_doc.tex .
cp -p ../debian/html/bg.cfg .

htlatex tex4ht_doc "bg"

mkdir -p images html

cp -p *.html *.tex *.css *.cfg html/
for i in *.png
do
	j=$(basename $i .png)
	uuencode $i < $i > images/$j.uue
done
cp -p ../debian/images/bgimage.uue images

for i in html images
do
	mv ../debian/$i ../debian/$i.old
	mv $i ../debian/$i
done

cd ..
rm -rf doc