diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-02-17 12:53:23 +0100 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-02-17 12:53:23 +0100 |
| commit | d4dffb0778300236d601b890854b8ba26afa42ed (patch) | |
| tree | 36c45b4c6c5b7d956fd87d8fe7029a0ba8e0508a /doc/tutorial | |
| parent | 001fd2d790b0b011b24c42b25d30fa4b964bc965 (diff) | |
| download | gnunet-d4dffb0778300236d601b890854b8ba26afa42ed.tar.gz gnunet-d4dffb0778300236d601b890854b8ba26afa42ed.zip | |
DOC: Fixed git links in tutorial
Diffstat (limited to 'doc/tutorial')
| -rw-r--r-- | doc/tutorial/tutorial.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tutorial/tutorial.texi b/doc/tutorial/tutorial.texi index 0a011c0c8..f849e116a 100644 --- a/doc/tutorial/tutorial.texi +++ b/doc/tutorial/tutorial.texi | |||
| @@ -225,7 +225,7 @@ This is required for obtaining the repository, which is achieved with | |||
| 225 | the following command: | 225 | the following command: |
| 226 | 226 | ||
| 227 | @example | 227 | @example |
| 228 | $ git clone https://git.gnunet.org/gnunet | 228 | $ git clone https://git.gnunet.org/gnunet.git |
| 229 | @end example | 229 | @end example |
| 230 | 230 | ||
| 231 | @noindent | 231 | @noindent |
| @@ -795,7 +795,7 @@ a template build system for writing GNUnet extensions in C. It can be | |||
| 795 | obtained as follows: | 795 | obtained as follows: |
| 796 | 796 | ||
| 797 | @example | 797 | @example |
| 798 | $ git clone https://git.gnunet.org/gnunet-ext | 798 | $ git clone https://git.gnunet.org/gnunet-ext.git |
| 799 | $ cd gnunet-ext/ | 799 | $ cd gnunet-ext/ |
| 800 | $ ./bootstrap | 800 | $ ./bootstrap |
| 801 | $ ./configure --prefix=$PREFIX --with-gnunet=$PREFIX | 801 | $ ./configure --prefix=$PREFIX --with-gnunet=$PREFIX |