Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 22 | logplain |
-rw-r--r-- | BUILD.bazel | 118 | logplain |
-rw-r--r-- | LICENSE | 12822 | logplain |
-rw-r--r-- | README.md | 5507 | logplain |
-rw-r--r-- | WORKSPACE | 117 | logplain |
-rwxr-xr-x | get_arxivable.sh | 284 | logplain |
-rwxr-xr-x | get_pdf.sh | 143 | logplain |
-rw-r--r-- | latex.bzl | 2179 | logplain |
d--------- | patches | 225 | logplain |
-rw-r--r-- | pdfcrop.bzl | 1598 | logplain |
-rw-r--r-- | pdfcrop.sh | 258 | logplain |
-rw-r--r-- | repositories.bzl | 1650 | logplain |
-rw-r--r-- | run_latex.py | 1207 | logplain |
-rwxr-xr-x | setup_texlive.sh | 1354 | logplain |
-rwxr-xr-x | view_pdf.sh | 316 | logplain |