diff options
| author | Nick White <git@njw.name> | 2019-05-08 19:51:06 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-05-08 19:51:06 +0100 |
| commit | 58e51317883ebb4c66b92e6c1cc807e937f780cb (patch) | |
| tree | 9b8c213cc831d0ec12d88cb9483438df4705893f /scrape-leiden.sh | |
| parent | d05e5268f2e362e04b77aea1eadb1b900387999f (diff) | |
Ensure dir-to-pdf saves to dirname.pdf not dirname/.pdf, and handle all different naming conventions
Diffstat (limited to 'scrape-leiden.sh')
0 files changed, 0 insertions, 0 deletions