diff options
| author | Karl Berry <karl@freefriends.org> | 2013-05-11 23:39:35 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-05-11 23:39:35 +0000 |
| commit | ff23b767abc786ac5279f6e85f5a83a143c055f5 (patch) | |
| tree | f2fd709712b6064ab7f95700c9ffb9e612d1cf6c /Master/tlpkg/bin/htmltext | |
| parent | 5af5e06dbed74dbf06e36afb02d3157d16342ddd (diff) | |
texmf-dist
git-svn-id: svn://tug.org/texlive/trunk@30411 c570f23f-e606-0410-a88d-b1316a301751
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 |