fixed home directory path
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 05:50:16 +0000 (05:50 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 05:50:16 +0000 (05:50 +0000)
doc/latex2html_fixpaths.sh

index 049f7814bd24c42bcbc1002951d15fdc9329d70c..36e5439638b67b6c65650940fcf41cc57c02cb5a 100755 (executable)
@@ -18,7 +18,7 @@ for f in `echo manual/*.html`
 do
        echo "Converting $f"
        cwd=`pwd`
 do
        echo "Converting $f"
        cwd=`pwd`
-       cwd=`echo $cwd | sed -e 's@/home/net@/expand8/home@'`
+       cwd=`echo $cwd | sed -e 's@/home/net@/expand/home@'`
        sed -e 's!'`pwd`'/!!g' $f > tmp || die "error running sed on $f"
        mv $f $f.bak || die "error backing up $f"
        sed -e 's!'$cwd'/!!g' tmp > $f || die "error running sed on $f"
        sed -e 's!'`pwd`'/!!g' $f > tmp || die "error running sed on $f"
        mv $f $f.bak || die "error backing up $f"
        sed -e 's!'$cwd'/!!g' tmp > $f || die "error running sed on $f"