svg2png: Use rsvg-convert if GIMP is not available.
[pspp] / doc / tutorial.stt
2020-12-21 Ben Pfaffdoc: Add .png output to the Info manual.