← Back to branch summary

~ubuntu-branches/debian/sid/tex4ht/sid

« back to all changes in this revision

Viewing changes to debian/update_doc.sh

  • Committer: Bazaar Package Importer
  • Author(s): Kapil Hari Paranjape
  • Date: 2008-09-12 10:32:36 UTC
  • mfrom: (1.3.2 upstream) (3.1.9 intrepid)
  • Revision ID: james.westby@ubuntu.com-20080912103236-tgw2q5g6f5hp2pnm
Tags: 20080701-2
http://bugs.debian.org/486482
* debian/patches/add_manpage.diff: Modified the man page
  to recommend that "mk4ht" be used for conversions other than
  from TeX/LaTeX to HTML. This is in response to #495768.
* debian/control: Replaced "sun-java5-jre" with "openjdk-6-jre-headless"
  in the "Suggests" field for "tex4ht-common". The latter java runtime
  seems to work with "xtpipes.jar" and the former is non-free.
  (Closes: #486482)

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/update_doc.sh
 
1
#!/bin/sh
 
2
# Created by Kapil Hari Paranjape <kapil@imsc.res.in>
 
3
# This updates the html documentation in debian/{html,images}
 
4
# if the file debian/doc/tex4ht_doc.tex has changed.
 
5
 
 
6
set -e
 
7
 
 
8
mkdir -p doc
 
9
cd doc
 
10
cp -p ../debian/html/tex4ht_doc.tex .
 
11
cp -p ../debian/html/bg.cfg .
 
12
 
 
13
htlatex tex4ht_doc "bg"
 
14
 
 
15
mkdir -p images html
 
16
 
 
17
cp -p *.html *.tex *.css *.cfg html/
 
18
for i in *.png
 
19
do
 
20
        j=$(basename $i .png)
 
21
        uuencode $i < $i > images/$j.uue
 
22
done
 
23
cp -p ../debian/images/bgimage.uue images
 
24
 
 
25
for i in html images
 
26
do
 
27
        mv ../debian/$i ../debian/$i.old
 
28
        mv $i ../debian/$i
 
29
done
 
30
 
 
31
cd ..
 
32
rm -rf doc
 
33