# HG changeset patch # User Rob Landley # Date 1218052962 18000 # Node ID cfee57e97078f80c1da66381d4ac69d8fb1b56da # Parent b1069151f74bca39a54f1cf1d3cb1faefa38b6c6 Michael Kerrisk does his own html versions now @ http://kernel.org/doc/man-pages diff -r b1069151f74b -r cfee57e97078 make/fixlinks.py --- a/make/fixlinks.py Wed Aug 06 14:51:11 2008 -0500 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,20 +0,0 @@ -#!/usr/bin/python - -# Convert the absolute paths in the symlinks of manlifter's html translation -# of the man-pages into portable relative paths. - -import os, sys - -# Loop through symlinks found by "find xmlman -type l" - -for i in sys.argv[1:]: - srcname = i.split("/") - linkname = os.readlink(i).split("/")[1:] - if srcname[1] == linkname[0] or srcname[1] == linkname [0][:-1]: - linkname = linkname[1:] - else: - linkname = [".."] + linkname - srcname = "/".join(srcname) - linkname = "/".join(linkname) - os.unlink(srcname) - os.symlink(linkname, srcname) diff -r b1069151f74b -r cfee57e97078 make/mkxmlman.sh --- a/make/mkxmlman.sh Wed Aug 06 14:51:11 2008 -0500 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,47 +0,0 @@ -#!/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