33 lines
692 B
Bash
Executable file
33 lines
692 B
Bash
Executable file
# I do not use this script, so it may be out of date.
|
|
# Please make sure that this matches with cat.bat to
|
|
# avoid confusing "errors".
|
|
|
|
cat \
|
|
Guid.js\
|
|
foreign/JavaScript.js\
|
|
List.js\
|
|
Maybe.js\
|
|
foreign/JSON.js\
|
|
Value.js\
|
|
Char.js\
|
|
Graphics/Color.js\
|
|
Graphics/Collage.js\
|
|
Graphics/Element.js\
|
|
Text.js\
|
|
Graphics/Render.js\
|
|
runtime/Signal.js\
|
|
runtime/Dispatcher.js\
|
|
Signal/HTTP.js\
|
|
Signal/Input.js\
|
|
Signal/Keyboard.js\
|
|
Signal/Mouse.js\
|
|
Signal/Random.js\
|
|
Signal/Time.js\
|
|
Signal/Window.js\
|
|
Date.js\
|
|
Prelude.js\
|
|
Dict.js\
|
|
Set.js\
|
|
Automaton.js\
|
|
Signal/WebSocket.js\
|
|
> ../elm/elm-runtime.js
|