Skip to content
Snippets Groups Projects
Commit e04deef7 authored by Jannik Wurche's avatar Jannik Wurche
Browse files

:new: copy editor.html and make editor.js

parent 25e031bc
Branches
No related tags found
No related merge requests found
...@@ -20,9 +20,11 @@ build: ...@@ -20,9 +20,11 @@ build:
- mkdir -p public - mkdir -p public
- cp src/logo.svg public/logo.svg - cp src/logo.svg public/logo.svg
- cp src/index.html public/index.html - cp src/index.html public/index.html
- cp src/editor.html public/editor.html
- cp src/style.css public/style.css - cp src/style.css public/style.css
- cp src/katex.js public/katex.js - cp src/katex.js public/katex.js
- elm make src/Main.elm --output=public/elm.js - elm make src/Main.elm --output=public/elm.js
- elm make src/QuizEditor/Editor.elm --output=public/editor.js
artifacts: artifacts:
paths: paths:
- public - public
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment