comparison make/mkxmlman.sh @ 73:7dae85574e82

Teach mkxmlman to use $WEBDIR instead of hardwired paths.
author Rob Landley <rob@landley.net>
date Tue, 16 Oct 2007 21:47:47 -0500
parents ecfa70db0bb3
children 598061b944e5
comparison
equal deleted inserted replaced
72:3232f421c770 73:7dae85574e82
1 #!/bin/bash 1 #!/bin/bash
2
3 MPTAR=man-pages-2.66.tar.gz
4 WEBDIR=~/www/kdocs
2 5
3 # Download the man-pages and doclifter source code. 6 # Download the man-pages and doclifter source code.
4 7
5 mkdir -p source 8 mkdir -p $WEBDIR/temp/source
6 [ -f source/man-pages-* ] || 9 cd $WEBDIR/temp
7 (cd source && wget http://kernel.org/pub/linux/docs/manpages/man-pages-2.65.tar.gz) 10 [ -f source/$MPTAR ] ||
11 ( cd source && wget http://kernel.org/pub/linux/docs/manpages/$MPTAR )
8 [ -f source/doclifter-* ] || 12 [ -f source/doclifter-* ] ||
9 (cd source && 13 (cd source &&
10 wget http://thyrsus.com/hg/doclifter/archive/tip.tar.gz && 14 wget http://thyrsus.com/hg/doclifter/archive/tip.tar.gz &&
11 mv tip.tar.gz doclifter-tip.tar.gz 15 mv tip.tar.gz doclifter-tip.tar.gz
12 ) 16 )
23 # Run doclifter on the man pages. 27 # Run doclifter on the man pages.
24 28
25 rm -rf doclifter-* && 29 rm -rf doclifter-* &&
26 tar xvzf source/doclifter-*.tar.gz && 30 tar xvzf source/doclifter-*.tar.gz &&
27 cd doclifter-* && 31 cd doclifter-* &&
28 ./manlifter -I `pwd`/../mantemp `cd ..;ls mantemp | sed -re 's/man([0-9]p?)/-s \1/g'` -h && 32 ./manlifter -I ../mantemp `cd ../mantemp;ls . | sed -re 's/man([0-9]p?)/-s \1/g'` -h &&
29 33
30 # Fix up symlinks 34 # Fix up symlinks
31 ../fixlinks.py `find xmlman -type l` && 35 $WEBDIR/make/fixlinks.py `find xmlman -type l` &&
32 # Remove inappropriate code page that displays garbage (workaround xmlto bug) 36 # Remove inappropriate code page that displays garbage (workaround xmlto bug)
33 find xmlman -name "*.html" | xargs sed -i -e 's/.*ISO-8859-1.*//' && 37 find xmlman -name "*.html" | xargs sed -i -e 's/.*ISO-8859-1.*//' &&
34 38
35 # Install result 39 # Install result
36 rm -rf ~/www/kdocs/xmlman && 40 rm -rf $WEBDIR/xmlman &&
37 mv xmlman ~/www/kdocs && 41 mv xmlman $WEBDIR &&
38 exit 0 42 exit 0
39 43
40 echo "It died." 44 echo "It died."
41 exit 1 45 exit 1