two more places where telemini-outline.pdf filename needs to be updated
[fw/altos] / doc / telemini-v3.svg
doc/telemini-v3.svg