diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2020-05-27 01:14:11 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2020-05-27 01:14:11 +0200 |
commit | 959576ad96a5a7a53cb9b9f6c5e5fbb6ecff1bda (patch) | |
tree | d3feefda46d2f3a61a0b3eefd194e2cea72ab5bd /bin/Makefile | |
parent | daf20dd652f9294273c1110f60ff4da6d99f67c5 (diff) |
Remove circular dependency on makefile
Diffstat (limited to 'bin/Makefile')
-rw-r--r-- | bin/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/bin/Makefile b/bin/Makefile new file mode 100644 index 00000000..10ac0d1e --- /dev/null +++ b/bin/Makefile | |||
@@ -0,0 +1,18 @@ | |||
1 | all: rebuild nikola build | ||
2 | |||
3 | rebuild: | ||
4 | rm -rf git dump | ||
5 | ./export.py | ||
6 | rm git/pages/updates.md | ||
7 | |||
8 | nikola: | ||
9 | venv/bin/nikola init -q git | ||
10 | cp site/conf.py git | ||
11 | cd git; nikola plugin -i localsearch | ||
12 | cd git; nikola theme -n ccc --parent=bootstrap4 | ||
13 | cp -r site/themes/ccc git/themes/ | ||
14 | cp -r site/data site/shortcodes git/ | ||
15 | cp -r site/index.rst site/index.en.rst site/search.html site/cpu site/themen git/pages/ | ||
16 | |||
17 | build: | ||
18 | cd git; nikola build --backend=sqlite3 | ||