commit e5863a8ff7153e5e1f0f53a5009c45eab339626e
parent 7843e456395d8e283ad29f06d132fdb2b5774b12
Author: kst
Date: 2020-07-18 05:33Z
tutorial: more tweaks
Diffstat:
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/TUTORIAL b/TUTORIAL
@@ -14,7 +14,7 @@ servers with minor modifications.
tl;dr
-----
-If you are not interested in the details, I wrote a minimal front-end called
+If you are not interested in the details, I wrote a minimal front end called
"git repo manager" [2]. It should take care of all the details for you.
creating a repo
@@ -97,7 +97,7 @@ using
if you have a correct SSH keypair setup.
-web front-end
+web front end
------------
Now that we have already figured out the push and clone access of our
@@ -192,11 +192,11 @@ Now you should see something like this when you do a git push
remote: [my_repo] stagit HTML pages... done!
...
-a minimal front-end
-------------------
+a minimal front end for stagit
+------------------------------
Since the process of creating repositories and recompiling stagit pages can be
-very tedious, I wrote up a simple front-end called git repo manager (grm) to
+very tedious, I wrote up a simple front end called git repo manager (grm) to
deal with the chore, see the readme [9] if you want to use grm to automate this
process.