changeset 84:598061b944e5

Minor update to mkxmlman.sh.
author Rob Landley <rob@landley.net>
date Wed, 07 Nov 2007 01:45:27 -0600
parents 13a980b307f8
children 9ca9c2104cf9
files make/mkxmlman.sh
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/make/mkxmlman.sh	Wed Nov 07 01:43:39 2007 -0600
+++ b/make/mkxmlman.sh	Wed Nov 07 01:45:27 2007 -0600
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-MPTAR=man-pages-2.66.tar.gz
+MPTAR=man-pages-2.67.tar.gz
 WEBDIR=~/www/kdocs
 
 # Download the man-pages and doclifter source code.
@@ -31,11 +31,13 @@
 cd doclifter-* &&
 ./manlifter -I ../mantemp `cd ../mantemp;ls . | sed -re 's/man([0-9]p?)/-s \1/g'` -h &&
 
-# Fix up symlinks
+echo Fix up symlinks &&
 $WEBDIR/make/fixlinks.py `find xmlman -type l` &&
-# Remove inappropriate code page that displays garbage (workaround xmlto bug)
+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 &&