diff options
author | Karl Berry <karl@freefriends.org> | 2014-02-06 23:32:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-02-06 23:32:46 +0000 |
commit | f52cc4ce5ce7d7099188cd762ebe8200859a76aa (patch) | |
tree | d38ab73f2eb0396558d4e5045fabc1e7cf051794 /Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff | |
parent | b5e16a40417872bc34aaa8eb986cc6630344f18f (diff) |
latex-tds (4feb14)
git-svn-id: svn://tug.org/texlive/trunk@32898 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff')
-rw-r--r-- | Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff b/Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff index c3a827ac8ff..22933d5ad86 100644 --- a/Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff +++ b/Master/texmf-dist/source/latex/latex-tds/patch/webman.tex.diff @@ -1,5 +1,5 @@ -*** webman.tex.org 1990-09-06 02:00:00.000000000 +0200 ---- webman.tex 2008-07-10 15:03:49.000000000 +0200 +*** webman.tex.org 1990-09-06 00:53:28.000000000 +0200 +--- webman.tex 2014-02-03 21:10:39.734399312 +0100 *************** *** 13,25 **** \def\pb{\.{|...|}} @@ -338,3 +338,16 @@ \yskip\noindent This description assumes that you already have a working \TeX82 system. +*************** +*** 1669,1672 **** + the whole project is not impossibly difficult, because in fact the entire + development of \.{WEAVE} and \.{TANGLE} (including the writing of the + programs and this manual) took less than two months of work. +! \vfill\end +--- 1723,1728 ---- + the whole project is not impossibly difficult, because in fact the entire + development of \.{WEAVE} and \.{TANGLE} (including the writing of the + programs and this manual) took less than two months of work. +! \vfill +! \input knuth-outline.tex +! \end |