diff options
| author | Norbert Preining <preining@logic.at> | 2018-02-19 14:07:55 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2018-02-19 14:07:55 +0000 |
| commit | 02d9052fd67a3015b8a10e5792d09238e87a205a (patch) | |
| tree | 19ee392feb2a9173a58c30c13bef11618ebc44fe /Build/source | |
| parent | ee87355f6660ec192ed3ec9164e4f4c94480c548 (diff) | |
fix typos and coding in texi
git-svn-id: svn://tug.org/texlive/trunk@46674 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/doc/tlbuild.texi | 6 |
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 |