# HG changeset patch
# User Rob Landley <rob@landley.net>
# 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