Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fonts.sh: instruct unzip to extract all files in amsfonts.zip | Dirk-Wilhelm Peters | 2021-03-07 | 1 | -1/+1 |
* | fonts.sh: pass --no-check-certificate to wget for downloading AMS fonts | Ali Gholami Rudi | 2020-08-03 | 1 | -1/+1 |
* | fonts.sh: update AMS fonts URL | Ali Gholami Rudi | 2020-05-21 | 1 | -1/+1 |
* | fonts.sh: pass z option to tar for urw-base35.tar.gz | Ali Gholami Rudi | 2018-05-29 | 1 | -1/+1 |
* | fonts.sh: use urw-fonts version 20170801.1 | Ali Gholami Rudi | 2018-05-29 | 1 | -3/+6 |
* | fonts: overwrite ghostscript fonts when extracting them | Ali Gholami Rudi | 2018-02-22 | 1 | -1/+1 |
* | fonts: include a fontmap for urw-core35 | Ali Gholami Rudi | 2017-08-17 | 1 | -0/+36 |
* | fonts: fetch urw-core35 instead of ghostscript-fonts | Ali Gholami Rudi | 2017-08-15 | 2 | -11/+6 |
* | Makefile: using neatroff without installing it | Ali Gholami Rudi | 2016-12-18 | 2 | -1/+24 |
* | fonts: fonts.sh to retrieve GS and CM fonts | Ali Gholami Rudi | 2016-12-04 | 1 | -0/+29 |