Fini Jastrow 2af746a135 name-parser: Do not shorten PS-name more than PS-family-name ... [why] It's not nessecary to shorten the PSname so much when no shortening is in place otherwise. This has been thought of as a good idea, because noone really cares about the PSname and we can avoid any problems. But checking with the current set of sourcefonts and using the current shortening options, keeping it longer is never a problem. It would be a problem for the Fullname ID4 before, and so we always shorten more. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-04-24 13:01:27 +02:00
..
scripts	name-parser: Do not shorten PS-name more than PS-family-name	2023-04-24 13:01:27 +02:00