gen.sh: infer postscript font names from the fonts by default
commite18df3808d68cb568b7d9933d541e1e9a57ec0b9
authorAli Gholami Rudi <ali@rudi.ir>
Wed, 13 Aug 2014 07:36:46 +0000 (13 12:06 +0430)
committerAli Gholami Rudi <ali@rudi.ir>
Wed, 13 Aug 2014 07:36:46 +0000 (13 12:06 +0430)
tree60a7e05cb56af3e6eb4495b0af50650e97439a2b
parent5ec13a66d03fa2346fbd822e343ed2bd41a76a4d
gen.sh: infer postscript font names from the fonts by default
gen.sh