diff options
Diffstat (limited to 'Master/tlpkg/bin/htmltext')
-rwxr-xr-x | Master/tlpkg/bin/htmltext | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/htmltext b/Master/tlpkg/bin/htmltext index b03826a5d4c..99daca0ab37 100755 --- a/Master/tlpkg/bin/htmltext +++ b/Master/tlpkg/bin/htmltext @@ -19,5 +19,6 @@ for url in "$@"; do # Since the reference list is useful, we fix it up by hand instead of # using -nolist. lynx -dump -nocolor -hiddenlinks=ignore "$url" \ - | sed 's,file://localhost/tmp/,file:,' + | sed -e 's,file://localhost/home/texlive/karl/Master/,file:../,' \ + -e 's,file://localhost/home/texlive/karl/,file:../../,' done |