diff options
author | Alejandro Colomar <alx.manpages@gmail.com> | 2021-03-30 01:14:46 +0200 |
---|---|---|
committer | Alejandro Colomar <alx.manpages@gmail.com> | 2021-03-30 01:14:46 +0200 |
commit | c2abc3d87d309cbee2030d461c88af7ae358018d (patch) | |
tree | fbb9c1f8163b5ec76f53dee3feb19288e5c8bdfe | |
parent | 9095776bc82f3f679abd9147b5b63879fbdc6b77 (diff) |
ci, Makefile: submodules can't be a dependency of man: docker build would fail
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
-rw-r--r-- | .github/workflows/ci-push.yaml | 3 | ||||
-rw-r--r-- | Makefile | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/ci-push.yaml b/.github/workflows/ci-push.yaml index b7b93f8..ee3f8cd 100644 --- a/.github/workflows/ci-push.yaml +++ b/.github/workflows/ci-push.yaml @@ -31,6 +31,9 @@ jobs: name: release_test run: ./bin/release_test 'ci'; - + name: make config + run: make config; + - name: make image run: make image; - @@ -51,6 +51,9 @@ project = $(shell <$(CURDIR)/.config grep '^project' | cut -f2) .PHONY: all all: man +.PHONY: config +config: submodules + .PHONY: Dockerfile Dockerfile: @echo ' Update Dockerfile ARGs'; @@ -79,7 +82,7 @@ submodules: git submodule init && git submodule update; .PHONY: man -man: submodules +man: $(MAKE) -C src/man-pages/ html HTOPTS='-r'; .PHONY: clean-man |