diff options
author | Robert Alessi <alessi@robertalessi.net> | 2017-08-06 16:00:17 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2017-08-06 16:00:17 +0200 |
commit | 5bd1050aa93f2d5f5f5ef8ec8a0ec4ef8aeaa294 (patch) | |
tree | 55f1799505ec2d6922e54040b7ced8972b56b8da /about.html | |
parent | 4cd9c3227105a71e4aa05338de397fad8943c545 (diff) | |
download | arabluatex-5bd1050aa93f2d5f5f5ef8ec8a0ec4ef8aeaa294.tar.gz |
updated README
Diffstat (limited to 'about.html')
-rw-r--r-- | about.html | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -65,7 +65,8 @@ | |||
65 | <p>ArabLuaTeX development is facilitated by git, a distributed version control system. You will need to install git (most GNU/Linux distributions package it in their repositories).</p> | 65 | <p>ArabLuaTeX development is facilitated by git, a distributed version control system. You will need to install git (most GNU/Linux distributions package it in their repositories).</p> |
66 | <p>Use this command to download the repository</p> | 66 | <p>Use this command to download the repository</p> |
67 | <pre><code>git clone http://git.robertalessi.net/arabluatex</code></pre> | 67 | <pre><code>git clone http://git.robertalessi.net/arabluatex</code></pre> |
68 | <p>A new directory named arabluatex will have been created, containing ArabLuaTeX. Git hosting</p> | 68 | <p>A new directory named arabluatex will have been created, containing ArabLuaTeX.</p> |
69 | <p>Please, do not use GitHub or GitLab: see <a href="https://libreboot.org/git/#githosting">there</a>.</p> | 69 | <h2 id="sec:git-hosting" class="unnumbered">Git hosting</h2> |
70 | <p>Make an account on <a href="https://notabug.org" class="uri">https://notabug.org</a> and navigate (while logged in) to <a href="https://notabug.org/ralessi/arabluatex" class="uri">https://notabug.org/ralessi/arabluatex</a>. Click <em>Fork</em> and you will have in your account your own repository of <code>arabluatex</code> where you will be able to make whatever changes you like to.</p> | ||
70 | </body> | 71 | </body> |
71 | </html> | 72 | </html> |