view make/mkxmlman.sh @ 84:598061b944e5

Minor update to mkxmlman.sh.
author Rob Landley <rob@landley.net>
date Wed, 07 Nov 2007 01:45:27 -0600
parents 7dae85574e82
children
line wrap: on
line source

#!/bin/bash

MPTAR=man-pages-2.67.tar.gz
WEBDIR=~/www/kdocs

# Download the man-pages and doclifter source code.

mkdir -p $WEBDIR/temp/source
cd $WEBDIR/temp
[ -f source/$MPTAR ] ||
( cd source && wget http://kernel.org/pub/linux/docs/manpages/$MPTAR )
[ -f source/doclifter-* ] ||
  (cd source &&
   wget http://thyrsus.com/hg/doclifter/archive/tip.tar.gz &&
   mv tip.tar.gz doclifter-tip.tar.gz
  )

# Build man-pages into "mantemp"

rm -rf mantemp man-pages-* &&
tar xvzf source/man-pages-*.tar.gz &&
cd man-pages-* &&
make MANDIR=../mantemp allgz &&
cd .. &&
rm -rf man-pages-* &&

# Run doclifter on the man pages.

rm -rf doclifter-* &&
tar xvzf source/doclifter-*.tar.gz &&
cd doclifter-* &&
./manlifter -I ../mantemp `cd ../mantemp;ls . | sed -re 's/man([0-9]p?)/-s \1/g'` -h &&

echo Fix up symlinks &&
$WEBDIR/make/fixlinks.py `find xmlman -type l` &&
echo Remove inappropriate code page that displays garbage &&
find xmlman -name "*.html" | xargs sed -i -e 's/.*ISO-8859-1.*//' &&

echo

# Install result
rm -rf $WEBDIR/xmlman &&
mv xmlman $WEBDIR &&
exit 0

echo "It died."
exit 1