resolver: lts-3.7
extra-deps:
- ignore-0.1.1.0
- binary-tagged-0.1.1.0
flags:
  ignore:
    without-pcre: true
image:
  container:
    base: "fpco/ubuntu-with-libgmp:14.04"
    add:
      man/: /usr/local/share/man/
    entrypoints:
      - stack

resolver: lts-3.7
extra-deps:
- ignore-0.1.1.0
- binary-tagged-0.1.1.0
flags:
  ignore:
    without-pcre: true
image:
  container:
    base: "fpco/ubuntu-with-libgmp:14.04"
    entrypoints:
      - stack

Remove unneeded man directory in Docker image
Remove unneeded man directory in Docker image
