From a7897766064a9a97630feef241d83fc29962f4cb Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Tue, 13 Oct 2020 20:17:39 -0700 Subject: 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. --- repositories.bzl | 8 -------- 1 file changed, 8 deletions(-) (limited to 'repositories.bzl') diff --git a/repositories.bzl b/repositories.bzl index d277c76..45c0e0e 100644 --- a/repositories.bzl +++ b/repositories.bzl @@ -18,14 +18,6 @@ def latex_repositories(): url = "https://github.com/aclements/latexrun/archive/38ff6ec2815654513c91f64bdf2a5760c85da26e.tar.gz", ) - 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"])""", -- cgit v1.2.3