diff options
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 789b350..ea1d8a4 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -2,6 +2,17 @@ all: requirements/html/index.html script/html/index.html vision/html/index.html +image: + docker build . -t cookbook +site: + docker run -u$(shell id -u):$(shell id -g) -v$(CURDIR):/tmp -w /tmp --rm -it cookbook make + rm -fr out + mkdir out + cp index.html out + mv requirements/html out/requirements + mv script/html out/script + mv vision/html out/vision + requirements/html/index.html: requirements/*.xml master.xsl pretty.css @make -C requirements |