summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2018-02-19 14:07:55 +0000
committerNorbert Preining <preining@logic.at>2018-02-19 14:07:55 +0000
commit02d9052fd67a3015b8a10e5792d09238e87a205a (patch)
tree19ee392feb2a9173a58c30c13bef11618ebc44fe
parentee87355f6660ec192ed3ec9164e4f4c94480c548 (diff)
fix typos and coding in texi
git-svn-id: svn://tug.org/texlive/trunk@46674 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/doc/tlbuild.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/doc/tlbuild.texi b/Build/source/doc/tlbuild.texi
index 8c96b27667f..2f9b48b232e 100644
--- a/Build/source/doc/tlbuild.texi
+++ b/Build/source/doc/tlbuild.texi
@@ -2505,8 +2505,8 @@ demand.
TODO what should we do here with the author index file? It contains a
mapping from subversion names to name/email as shown in git.
-The initial checkout was done by invocing
-@code{git svn --authors-file usermap clone svn://USER@tug.org/texlive/trunk/Build/source}
+The initial checkout was done by invoking
+@code{git svn --authors-file usermap clone svn://USER@@tug.org/texlive/trunk/Build/source}
where the @code{usermap} file maps subversion user names to name and
emails of the authors.
@@ -2522,7 +2522,7 @@ On Github (@url{https://github.com/}) a new git repository named
@code{texlive-source} was created by @emph{admin} within the
@code{TeX-Live} organization (@url{https://github.com/TeX-Live/}), the
remote added to the checkout with
-@code{git remote add origin git@github.com:TeX-Live/texlive-source.git}.
+@code{git remote add origin git@@github.com:TeX-Live/texlive-source.git}.
To automate the update on Github, a new ssh key was generated and added
to the @code{texlive-source} repository on Github as deployment