diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/Dockerfile | 6 | ||||
| -rw-r--r-- | devel/Makefile | 11 |
2 files changed, 0 insertions, 17 deletions
diff --git a/devel/Dockerfile b/devel/Dockerfile deleted file mode 100644 index 4d7ed22..0000000 --- a/devel/Dockerfile +++ /dev/null @@ -1,6 +0,0 @@ -FROM alpine:3.14 - -RUN apk update && apk upgrade && apk add \ -lynx \ -make \ -xmlto 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 |