diff options
| author | Lucas Fryzek <lucas.fryzek@gmail.com> | 2022-11-02 20:09:40 -0400 |
|---|---|---|
| committer | Lucas Fryzek <lucas.fryzek@gmail.com> | 2022-11-02 20:09:40 -0400 |
| commit | 9c32a5e3a3c8f826e92c06da1119b38d43c5cbe9 (patch) | |
| tree | 7f3f77fde2d74aabe87a67ea27d4c00f27cd3c4b | |
| parent | 1edf3a50ac8365bd4d26169db9f13bd8061fc9f9 (diff) | |
Add deploy build rule
| -rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -41,6 +41,9 @@ $(HTML_DIR)/index.html: $(HTML_DOCS) $(PAGE_FILES) all: $(HTML_DIR)/index.html +deploy: all + git subtree push --prefix html origin gh-pages + clean: rm -r build find html -name "*.html" -type f -delete |