tree 9204cb593bbca756fbe98f6309b8e35ad922f8ff
parent 69f8d5df72b6bd9c39c3a262ae0ed07f2cd566e9
author Paul Jakma <paul@jakma.org> 1489010049 +0000
committer Paul Jakma <paul@quagga.net> 1489082635 +0000

doc: pdftex works with PNGs now, remove dependency on PDF figures

* Makefile.am: pdftex seems to work fine with PNGs now. So the need to build
  PDF versions of the figures using ImageMagick convert is gone. Remove
  the dependency. Can leave the rule for now, no benefit removing it.