diff options
-rw-r--r-- | ci-prod.ick | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 7fcd873..9f1774f 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -933,23 +933,6 @@ pipelines: fi - - - # apt-get update - # apt-get install -y subplot \ - # pandoc-citeproc \ - # texlive-latex-base \ - # texlive-latex-recommended \ - # texlive-fonts-recommended \ - # plantuml - - # rm -f obnam.html obnam.pdf - # sp-docgen obnam.md -o obnam.html - # sp-docgen obnam.md -o obnam.pdf - # install -d /workspace/examples - # install -m 0644 obnam.html obnam.pdf /workspace/examples/. - - # - project: obnam # parameters: # sources: |