diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 17:35:19 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 17:35:19 +0100 |
| commit | de8d4e2f86749b5748f8c6b61d0ebdc16177c354 (patch) | |
| tree | 7b012fe4ea9504aba9a638d04443c4722912196d /linux/Dockerfile | |
| parent | 4a1c3faec869612d4ca5c87dc1ead9d2e3665aca (diff) | |
| download | pandoc-de8d4e2f86749b5748f8c6b61d0ebdc16177c354.tar.gz | |
Fixed paths: deb->linux.
Diffstat (limited to 'linux/Dockerfile')
| -rw-r--r-- | linux/Dockerfile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile index 0a9cc710d..630abc17e 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -19,13 +19,11 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \ --flag 'pandoc:embed_data_files' \ --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ pandoc pandoc-citeproc -COPY make_deb.sh . -COPY make_tarball.sh . CMD git pull && \ git checkout -b work $TREE && \ stack install --stack-yaml stack.pkg.yaml \ --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \ --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ pandoc pandoc-citeproc && \ - bash make_deb.sh && \ - bash make_tarball.sh + bash linux/make_deb.sh && \ + bash linux/make_tarball.sh |