fix dockerfile for iocamljs; via @andrewray

ocurrent · Mar 2, 2016 · ec294ac · ec294ac
1 parent cee44f1
commit ec294ac
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -6,9 +6,8 @@ RUN opam pin add dockerfile --dev
 RUN opam source dockerfile --dir=/tmp/dockerfile
 RUN mkdir -p /tmp/dockerfile/html/ocaml-dockerfile
 WORKDIR /tmp/dockerfile
-RUN opam pin add iocamljs-kernel --dev
 RUN opam config exec -- jsoo_mktop -verbose -dont-export-unit gc -export-package dockerfile -export-package iocamljs-kernel -jsopt +weak.js -jsopt +dynlink.js -jsopt +toplevel.js -o dockerfile.byte
-RUN cat *.cmis.js $(opam config var lib)/iocamljs-kernel/kernel.js > $(opam config var share)/iocamljs-kernel/profile/static/services/kernels/js/kernel.dockerfile.js
+RUN cat *.cmis.js $(opam config var lib)/iocamljs-kernel/kernel.js dockerfile.js > $(opam config var share)/iocamljs-kernel/profile/static/services/kernels/js/kernel.dockerfile.js
 RUN opam config exec -- iocaml -v -js dockerfile /tmp/dockerfile/notebooks/ -create-static-site /tmp/dockerfile/html/ocaml-dockerfile -static-site-base-path "/ocaml-dockerfile"
 WORKDIR /tmp/dockerfile/html
 EXPOSE 8080