diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-27 11:40:11 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-27 11:40:11 +0100 |
| commit | 59b3bfb6343a37480d2b66a1a9e13f0571099b94 (patch) | |
| tree | 04ee2a43011d613736e2e02a0bd3b88c3a6ed637 | |
| parent | 3b99bf8608aa04c96bddf52431d9c2edbc34b885 (diff) | |
Changing to the cloned directory added to README.md
Konrad Hinsen pointed out that this part was missing from the instructions
in `README.md' after cloning. So it is added.
| -rw-r--r-- | .file-metadata | bin | 6250 -> 6250 bytes | |||
| -rw-r--r-- | README.md | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex b7b8823..a29f255 100644 --- a/.file-metadata +++ b/.file-metadata @@ -19,6 +19,7 @@ received this source from arXiv, please see the respective section below. ```shell $ git clone XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX +$ cd XXXXXXXXXXXXXXXXXX $ ./project configure $ ./project make ``` |