diff options
| author | Jakob Unterwurzacher | 2018-01-31 09:36:06 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-01-31 09:36:06 +0100 |
| commit | 399132f1012ee1736dada2efb9658f7dc7c05a1d (patch) | |
| tree | d95d6089caa759fcfe37b7508d9230cd49a8c3a5 | |
| parent | cfc75466cd490c0a641aa72c5bc890d939fbcc88 (diff) | |
Drop "git pull" from the Makefile
Technically has nothing to do with building, and
fails and aborts the build if you don't have a
tracking branch.
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,5 +1,4 @@ all: - git pull LC_ALL=C.UTF-8 LANG=C.UTF-8 mkdocs build --clean cp -af htaccess site/.htaccess |