diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 11:13:38 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 11:25:07 +0100 |
commit | 041bc818209a872ed0840a3961fe20fda93f9986 (patch) | |
tree | ab01da38f0b9eee5dadce9e8ee524e8453794189 | |
parent | 6db09e249734290a36f0cd0a9eccdf154c81bfa8 (diff) | |
download | ekdosis-041bc818209a872ed0840a3961fe20fda93f9986.tar.gz |
COPYING -> LICENSE. added sr.ht repo
-rw-r--r-- | LICENSE (renamed from COPYING) | 0 | ||||
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | README.md | 4 | ||||
-rw-r--r-- | about.html | 2 |
4 files changed, 7 insertions, 1 deletions
@@ -9,7 +9,7 @@ HOMEDIR := $$HOME | |||
9 | SAMPLES := samples | 9 | SAMPLES := samples |
10 | 10 | ||
11 | exts := md html ins dtx el | 11 | exts := md html ins dtx el |
12 | files := AUTHORS.md COPYING | 12 | files := AUTHORS.md LICENSE |
13 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") | 13 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") |
14 | findfiles := $(foreach file,$(files), -or -iname "$(file)") | 14 | findfiles := $(foreach file,$(files), -or -iname "$(file)") |
15 | 15 | ||
@@ -95,6 +95,10 @@ Use this command to download the repository | |||
95 | 95 | ||
96 | git clone http://git.robertalessi.net/ekdosis | 96 | git clone http://git.robertalessi.net/ekdosis |
97 | 97 | ||
98 | or | ||
99 | |||
100 | git clone https://git.sr.ht/~ralessi/ekdosis | ||
101 | |||
98 | A new directory named ekdosis will have been created, containing | 102 | A new directory named ekdosis will have been created, containing |
99 | `ekdosis`. | 103 | `ekdosis`. |
100 | 104 | ||
@@ -78,6 +78,8 @@ version control system. You will need to install git (most Unix/Linux | |||
78 | distributions package it in their repositories).</p> | 78 | distributions package it in their repositories).</p> |
79 | <p>Use this command to download the repository</p> | 79 | <p>Use this command to download the repository</p> |
80 | <pre><code>git clone http://git.robertalessi.net/ekdosis</code></pre> | 80 | <pre><code>git clone http://git.robertalessi.net/ekdosis</code></pre> |
81 | <p>or</p> | ||
82 | <pre><code>git clone https://git.sr.ht/~ralessi/ekdosis</code></pre> | ||
81 | <p>A new directory named ekdosis will have been created, containing | 83 | <p>A new directory named ekdosis will have been created, containing |
82 | <code>ekdosis</code>.</p> | 84 | <code>ekdosis</code>.</p> |
83 | <h2 id="git-hosting">Git Hosting</h2> | 85 | <h2 id="git-hosting">Git Hosting</h2> |