This is important if we render images with dblatex/pdftex
rm -f ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB};
make ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB};
-${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}: index.html ${INDEX_INCLUDES} ${WIKI_IMPORTS} ${API_VIEWER_SOURCES} ${GEN_DEB_SOURCES} asciidoc-pve pve-docs-mediawiki-import asciidoc/mediawiki.conf
+${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}: index.html ${INDEX_INCLUDES} ${WIKI_IMPORTS} ${API_VIEWER_SOURCES} ${GEN_DEB_SOURCES} asciidoc-pve pve-docs-mediawiki-import asciidoc/mediawiki.conf verify-images
rm -rf build
mkdir build
rsync -a debian/ build/debian
--- /dev/null
+#!/usr/bin/perl
+
+use strict;
+use warnings;
+
+my $infile = shift ||
+ die "no input file specified\n";
+
+my $outfile = shift ||
+ die "no outpu file specified\n";
+
+# use the following to verify image attributes
+# identify -verbose <filename>
+
+# set DPI to 146, so that we can display 1024 pixels (page width)
+
+my $dpi = 146;
+
+system("convert -units PixelsPerInch $infile -density $dpi $outfile");
+
+# identify should return the same value
+# system("identify -units PixelsPerInch -format '%x x %y' $outfile");
--- /dev/null
+#!/usr/bin/perl
+
+use strict;
+use warnings;
+
+my $infile = shift ||
+ die "no input file specified\n";
+
+my $dpi = 146; # expected
+
+my $tmp = `identify -units PixelsPerInch -format '%x x %y' $infile`;
+
+die "got unexpected DPI density '$tmp' (fix with png-cleanup.pl)\n"
+ if $tmp ne "$dpi x $dpi";
+
+exit 0;