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