diff options
| author | Karl Berry <karl@freefriends.org> | 2008-07-15 17:16:38 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-07-15 17:16:38 +0000 |
| commit | 32f267d464b33c8412cc19d712367700b5b822ac (patch) | |
| tree | f82ea87fc39dd656d2e9c8c1aac410e9cfeaeb08 /Master/tlpkg/bin/htmltext | |
| parent | dbdb22b79bd3dc27f9f65f193a6fc50088d14b30 (diff) | |
update for 2008
git-svn-id: svn://tug.org/texlive/trunk@9581 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/htmltext')
| -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 c41eb2490fe..b03826a5d4c 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 's,file://localhost/tmp/[a-zA-Z0-9]*/,,' + | sed 's,file://localhost/tmp/,file:,' done |