diff options
author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-10-13 20:17:39 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-13 20:17:39 -0700 |
commit | a7897766064a9a97630feef241d83fc29962f4cb (patch) | |
tree | 5506be55191d7de9478a0655e752799321f84905 /repositories.bzl | |
parent | ced6dac36188c845d7d06e5768e484b4b774d028 (diff) |
Use PDFCROP from TeXLive (#9)
We previously had it download a separate copy of the pdfcrop script from CTAN, which is problematic because we check checksums and CTAN doesn't guarantee a particular version. This just uses the pdfcrop script that TeXLive-full already comes with.
Diffstat (limited to 'repositories.bzl')
-rw-r--r-- | repositories.bzl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/repositories.bzl b/repositories.bzl index d277c76..45c0e0e 100644 --- a/repositories.bzl +++ b/repositories.bzl @@ -19,14 +19,6 @@ def latex_repositories(): ) http_archive( - name = "pdfcrop", - build_file_content = "exports_files([\"pdfcrop.pl\"])", - sha256 = "4226acd990b3a6db6f9e3bf8949e308b97fa74f8c404023bfb3ce598400a72a4", - strip_prefix = "pdfcrop", - url = "http://mirrors.ctan.org/support/pdfcrop.zip", - ) - - http_archive( name = "arxiv_latex_cleaner", build_file_content = """filegroup(name = "all", srcs = glob(["**"]), visibility = ["//visibility:public"])""", sha256 = "770c65993c964405bb5362ee75039970434ef395872356980e470b6b044ac427", |