Compare commits

..

No commits in common. "master" and "1.0.0" have entirely different histories.

View File

@ -30,9 +30,8 @@ $ make
If you want to run it on a server overnight, you might want to use `nohup`, so you can close the ssh connection without closing the process.
```
$ nohup make &
$ nohup make > tagging.log &
```
See progress in generated logfile (check git root).
# Makefile
The Makefile follows certain steps: