Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 34 | logplain |
-rw-r--r-- | BUILD.bazel | 304 | logplain |
-rw-r--r-- | LICENSE | 12822 | logplain |
-rw-r--r-- | README.md | 6390 | logplain |
-rw-r--r-- | WORKSPACE | 117 | logplain |
-rw-r--r-- | dblp.py | 3143 | logplain |
-rw-r--r-- | dblpify.py | 2721 | logplain |
-rwxr-xr-x | get_arxivable.sh | 225 | logplain |
-rwxr-xr-x | get_file.sh | 88 | logplain |
-rw-r--r-- | latex.bzl | 4380 | logplain |
d--------- | patches | 225 | logplain |
-rw-r--r-- | pdfcrop.bzl | 1369 | logplain |
-rw-r--r-- | pdfcrop.sh | 224 | logplain |
-rw-r--r-- | repositories.bzl | 1355 | logplain |
-rw-r--r-- | run_latex.py | 2117 | logplain |
-rwxr-xr-x | setup_texlive.sh | 1354 | logplain |
-rwxr-xr-x | view_pdf.sh | 316 | logplain |