# HG changeset patch # User Rob Landley # Date 1191008846 18000 # Node ID ecfa70db0bb3bcad250368b4186ce884be39e42c # Parent 93c68f362860800837b412e27b3c6d6a93206a3d Minor tweaks, a comment and a version update. diff -r 93c68f362860 -r ecfa70db0bb3 make/fixlinks.py --- a/make/fixlinks.py Fri Sep 28 14:47:14 2007 -0500 +++ b/make/fixlinks.py Fri Sep 28 14:47:26 2007 -0500 @@ -5,6 +5,8 @@ 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:] diff -r 93c68f362860 -r ecfa70db0bb3 make/mkxmlman.sh --- a/make/mkxmlman.sh Fri Sep 28 14:47:14 2007 -0500 +++ b/make/mkxmlman.sh Fri Sep 28 14:47:26 2007 -0500 @@ -4,7 +4,7 @@ mkdir -p source [ -f source/man-pages-* ] || -(cd source && wget http://kernel.org/pub/linux/docs/manpages/man-pages-2.64.tar.gz) +(cd source && wget http://kernel.org/pub/linux/docs/manpages/man-pages-2.65.tar.gz) [ -f source/doclifter-* ] || (cd source && wget http://thyrsus.com/hg/doclifter/archive/tip.tar.gz &&