debian/yosys.1
debian/yosys-filterlib.1
debian/yosys-abc.1
debian/man/*.1