File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 22#
33
44# You can set these variables from the command line.
5- BUILDDIR = _build
5+ BUILDDIR ? = _build/html
66MKDOCS = mkdocs
77MKDOCSBUILDOPTS = --clean --strict --verbose
88MKDOCSBUILD = $(MKDOCS ) build $(MKDOCSBUILDOPTS )
@@ -18,9 +18,9 @@ DEV_ENV_PREFIX := docker run --rm -v ${CURDIR}:${DEV_ENV_WORK_DIR} -w ${DEV_ENV_
1818DEV_ENV_CMD := ${DEV_ENV_PREFIX} ${DEV_ENV_IMAGE}
1919
2020build :
21- $(MKDOCSBUILD ) --site-dir $(BUILDDIR ) /html
21+ $(MKDOCSBUILD ) --site-dir $(BUILDDIR )
2222 @echo
23- @echo " Build finished. The HTML pages are in $( BUILDDIR) /html ."
23+ @echo " Build finished. The HTML pages are in $( BUILDDIR) ."
2424
2525serve :
2626 $(MKDOCSSERVE )
3434test : build
3535 grep -q ' <title>Deis Documentation</title>' _build/html/index.html
3636 @echo
37- @echo " Test finished. The HTML pages are in $( BUILDDIR) /html ."
37+ @echo " Test finished. The HTML pages are in $( BUILDDIR) ."
3838
3939docker-build :
4040 docker build --rm -t ${IMAGE} .
Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+
3+ set -e
4+ set -x
5+
6+ build_dest=$1
7+
8+ PATH=$HOME /.local/bin:$PATH BUILDDIR=${build_dest} make deps build
You can’t perform that action at this time.
0 commit comments