Commit [ff89d0] Maximize Restore History

nodist: extract desktop and web from overview.pdf

Convert the PDF pages of overview.pdf into their raster representations
using ImageMagick. Moved the needed commands into the custom makefile.

Nicola Fontana Nicola Fontana 2013-12-31

changed nodist/Makefile
changed nodist/overview.tex
nodist/Makefile Diff Switch to side-by-side view
Loading...
nodist/overview.tex Diff Switch to side-by-side view
Loading...