fix: makefile add commit-build
R
Rüdiger Küpper
<rpr@9it.de>
committete am 18.08.2026 01:52
a45d14cac710c54a32b51200eb8b3863db6e9b5b
| @@ -86,6 +86,12 @@ checksums: | ||
| 86 | 86 | fi |
| 87 | 87 | @echo "Checksums: $(DIST)/checksums.txt" |
| 88 | 88 | |
| 89 | +commit-build: |
|
| 90 | +@echo "Commit build: $(GIT)" |
|
| 91 | +@git add dist |
|
| 92 | +@git commit -m "Commit binaries for" || true |
|
| 93 | +@git push |
|
| 94 | + | |
| 89 | 95 | # Copy the default theme: make new-theme NAME=newdesign |
| 90 | 96 | new-theme: |
| 91 | 97 | @test -n "$(NAME)" || { echo "Usage: make new-theme NAME=<theme>"; exit 1; } |