diff options
Diffstat (limited to 'devel/Makefile')
-rw-r--r-- | devel/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/Makefile b/devel/Makefile index ea1d8a4..789b350 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -2,17 +2,6 @@ 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 |