diff options
author | Michael Muré <batolettre@gmail.com> | 2018-08-06 16:17:11 +0200 |
---|---|---|
committer | Michael Muré <batolettre@gmail.com> | 2018-08-06 16:17:11 +0200 |
commit | d2f5e6b92738abf99ea5adfc09b038b35db6176e (patch) | |
tree | b04d7cb39d05ffad25c1d765ae1084b23a4da96d | |
parent | 84131cb553c6cd1d17e3efe2b65b0f0855eb2cb5 (diff) | |
download | git-bug-d2f5e6b92738abf99ea5adfc09b038b35db6176e.tar.gz |
webui: pack the files only on demand
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | git-bug.go | 1 | ||||
-rw-r--r-- | webui/build/.gitkeep | 0 |
3 files changed, 1 insertions, 2 deletions
@@ -15,4 +15,4 @@ pack-webui: npm run --prefix webui build go run webui/pack_webui.go -.PHONY: build install test +.PHONY: build install test pack-webui @@ -1,4 +1,3 @@ -//go:generate go run webui/pack_webui.go //go:generate go run doc/gen_markdown.go //go:generate go run doc/gen_manpage.go //go:generate go run misc/gen_bash_completion.go diff --git a/webui/build/.gitkeep b/webui/build/.gitkeep deleted file mode 100644 index e69de29b..00000000 --- a/webui/build/.gitkeep +++ /dev/null |