diff options
author | Karl Berry <karl@freefriends.org> | 2016-08-27 22:16:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-08-27 22:16:04 +0000 |
commit | dc0e67c2be5a0eb5811a2dc33ff125e82690bd8e (patch) | |
tree | 00a78d80c7364cfb6f449422bfca15794c136d9b /Master/texmf-dist/doc/latex/shdoc/shreformat.sh | |
parent | 11c9c4d9505fbae8b108824303315d6203a2a655 (diff) |
shdoc (27aug16)
git-svn-id: svn://tug.org/texlive/trunk@41939 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/shdoc/shreformat.sh')
-rwxr-xr-x | Master/texmf-dist/doc/latex/shdoc/shreformat.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/shdoc/shreformat.sh b/Master/texmf-dist/doc/latex/shdoc/shreformat.sh index d27e9c088d8..c8a6a95773a 100755 --- a/Master/texmf-dist/doc/latex/shdoc/shreformat.sh +++ b/Master/texmf-dist/doc/latex/shdoc/shreformat.sh @@ -4,6 +4,6 @@ # the LaTeX package 'shdoc' (see ctan.org/pkg/shdoc) # 1. read from shrun.tmp and substitute double tabs with two spaces -# 2. substitute single tabs with a single space +# 2. substitute single tabs with single spaces # 3. remove all leading spaces and save the output to shrun-formatted.tmp sed 's/\t\t/ /' <shrun.tmp | sed 's/\t/ /' | sed -e 's/^[ \t]*//' >shrun-formatted.tmp |