diff options
Diffstat (limited to 'Master/tlpkg/bin/htmltext')
-rwxr-xr-x | Master/tlpkg/bin/htmltext | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/htmltext b/Master/tlpkg/bin/htmltext index 99daca0ab37..b0391dab156 100755 --- a/Master/tlpkg/bin/htmltext +++ b/Master/tlpkg/bin/htmltext @@ -19,6 +19,5 @@ 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 -e 's,file://localhost/home/texlive/karl/Master/,file:../,' \ - -e 's,file://localhost/home/texlive/karl/,file:../../,' + | sed -e 's,file://localhost/tmp/,file:../,' done |