From 02d9052fd67a3015b8a10e5792d09238e87a205a Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 19 Feb 2018 14:07:55 +0000 Subject: fix typos and coding in texi git-svn-id: svn://tug.org/texlive/trunk@46674 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/doc/tlbuild.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Build/source/doc') 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 -- cgit v1.2.3