blob: 8e7ecd1406d1bffcb0a4adc1026518ba1becc041 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/^%.*/d
s/{T1}/{EU1}/g
s/t1lm/eu1lm/g
s/ec-lmvtt([0-9]+)/lmmonoprop\1-regular/g
s/ec-lmvtto([0-9]+)/lmmonoprop\1-oblique/g
s/ec-lmvtl([0-9]+)/lmmonoproplt\1-regular/g
s/ec-lmvtlo([0-9]+)/lmmonoproplt\1-oblique/g
s/ec-lmvtk([0-9]+)/lmmonoproplt\1-bold/g
s/ec-lmvtko([0-9]+)/lmmonoproplt\1-boldoblique/g
s/(>.[ ]*)(lm[a-z0-9\-]+)/\1"[\2]:mapping=tex-text"/g
|