?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: dc32d76) | patch
gen.sh: exit with an error if standard fonts are missing
commite1f6ca9d954bfd68207e929f1f9832d2383e219e
authorAli Gholami Rudi <ali@rudi.ir>
Fri, 20 Apr 2018 13:07:37 +0000 (20 17:37 +0430)
committerAli Gholami Rudi <ali@rudi.ir>
Fri, 20 Apr 2018 13:07:37 +0000 (20 17:37 +0430)
tree85808e06f126425bda1f7b090a87440953eaeeabtree | snapshot (tar.gz zip)
parentdc32d76c4b60e5cb9f9d33920d1121bb93854d5ecommit | diff
gen.sh: exit with an error if standard fonts are missing

Suggested by David Frey <david.frey@swissonline.ch>.
gen.sh diff | blob | blame | history
create font descriptions for neatroff