diff options
author | Karl Berry <karl@freefriends.org> | 2019-03-12 17:14:08 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-03-12 17:14:08 +0000 |
commit | 46f4b35aac8dbb878cfdd8008bd44780ae49df92 (patch) | |
tree | c20ed704e00daeba8a8b2c89c9602abbbb97e1e5 /Master/tlpkg/bin/htmltext | |
parent | 48b2432bcda8f81ae0832aa3bd7a774ac8d35c43 (diff) |
install-tl gui changes for 2019
git-svn-id: svn://tug.org/texlive/trunk@50352 c570f23f-e606-0410-a88d-b1316a301751
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 |